CAV '94, Computer aided verification. 6th International Conference, Stanford, CA, USA, June 21--23, 1994. Proceedings

zbMath0875.00094MaRDI QIDQ1327708

No author found.

Publication date: 27 June 1994

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

ConferenceProceedingsComputer aided verificationStanford, CA (USA)CAV '94

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Is your model checker on time? On the complexity of model checking for timed modal logics ⋮ Iterating transducers

This page was built for publication: CAV '94, Computer aided verification. 6th International Conference, Stanford, CA, USA, June 21--23, 1994. Proceedings