TITLE     : Formal specification and verification of complex systems
AUTHOR(S) : Gnesi S
TYPE      : Journal article
YEAR      : 2003
CODE      : 68423

*** DO NOT EDIT THIS FILE ***