Media type: E-Article Title: Formal Specification and Verification of Complex Systems1 1Work partially founded by Miur projectSP4 Contributor: Gnesi, S. imprint: Elsevier BV, 2003 Published in: Electronic Notes in Theoretical Computer Science Language: English DOI: 10.1016/s1571-0661(04)80829-6 ISSN: 1571-0661 Keywords: General Computer Science ; Theoretical Computer Science Origination: Footnote: Access State: Open Access