Media type: E-Article Title: Computer Aided Verification: Beyond model checking Contributor: Manna, Zohar Published: Springer Berlin Heidelberg, 1994 Published in: Computer Aided Verification (1994), Seite 220-221 Language: Not determined DOI: 10.1007/3-540-58179-0_56 ISBN: 9783540581796; 9783540484691 ISSN: 0302-9743; 1611-3349 Origination: Footnote: