Proceedings of the 1st international workshop on Symbolic model checking (SMC '99), as part of the 2nd federated logic conference (FLoC '99). Trento, Italy, July 6, 1999
From MaRDI portal
Publication:1294793
zbMath0920.00044MaRDI QIDQ1294793
No author found.
Publication date: 17 August 1999
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Related Items (2)
One-Pass Tableaux for Computation Tree Logic ⋮ Proof systems for planning under 0-approximation semantics
This page was built for publication: Proceedings of the 1st international workshop on Symbolic model checking (SMC '99), as part of the 2nd federated logic conference (FLoC '99). Trento, Italy, July 6, 1999
