Proceedings of the 2nd international workshop on bounded model checking (BMC 2004), Boston, MA, USA, July 18, 2004
zbMATH Open1271.68021MaRDI QIDQ360700FDOQ360700
Authors:
Publication date: 27 August 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: http://www.sciencedirect.com/science/journal/15710661/119/2
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)
Cited In (3)
- BMC'2003. Proceedings of the first international workshop on bounded model checking, Boulder, CO, USA, July 13, 2003
- Proceedings of the 3rd international workshop on bounded model checking (BMC 2005), Edinburgh, UK, July 11, 2005
- 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
This page was built for publication: Proceedings of the 2nd international workshop on bounded model checking (BMC 2004), Boston, MA, USA, July 18, 2004
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q360700)
