Media type: E-Article Title: Computer Aided Verification: Temporal verification by diagram transformations Contributor: Alfaro, Luca; Manna, Zohar Published: Springer Berlin Heidelberg, 1996 Published in: Computer Aided Verification (1996), Seite 288-299 Language: Not determined DOI: 10.1007/3-540-61474-5_77 ISSN: 0302-9743; 1611-3349 Origination: Footnote: