Computer aided verification. 14th international conference, CAV 2002, Copenhagen, Denmark, July 27--31, 2002. Proceedings

DOI10.1007/3-540-45657-0zbMath0993.00049OpenAlexW985281171MaRDI QIDQ1613688

No author found.

Publication date: 2 September 2002

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

Full work available at URL: https://doi.org/10.1007/3-540-45657-0

zbMATH Keywords

ConferenceProceedingsComputer aided verificationCopenhagen (Denmark)CAV 2002

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)

Smaller Abstractions for ∀CTL* without Next ⋮ PDL with intersection and converse: satisfiability and infinite-state model checking

This page was built for publication: Computer aided verification. 14th international conference, CAV 2002, Copenhagen, Denmark, July 27--31, 2002. Proceedings