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
zbMATH Open0920.00044MaRDI QIDQ1294793FDOQ1294793
Authors:
Publication date: 17 August 1999
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Recommendations
- Proceedings of the 3rd international workshop on bounded model checking (BMC 2005), Edinburgh, UK, July 11, 2005
- Proceedings of the 2nd international workshop on bounded model checking (BMC 2004), Boston, MA, USA, July 18, 2004
- BMC'2003. Proceedings of the first international workshop on bounded model checking, Boulder, CO, USA, July 13, 2003
- scientific article; zbMATH DE number 438994
- Proceedings of the workshop on logic, models and computer science (LMCS 2006), Camerino, Italy, April 20--22, 2006
- Proceedings of the fourth international workshop on bounded model checking (BMC 2006), Seattle, WA, USA, August 15, 2006
- scientific article; zbMATH DE number 2020179
- Verification, model; checking, and abstract interpretation. 3rd international workshop, VMCAI 2002, Venice, Italy, January 21--22, 2002. Revised papers
- Model checking software. 9th international SPIN workshop, Grenoble, France, April 11--13, 2002. Proceedings
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Cited In (3)
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
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1294793)
