BMC'2003. Proceedings of the first international workshop on bounded model checking, Boulder, CO, USA, July 13, 2003
type: Item
instance of: scholarly article
title: BMC'2003. Proceedings of the first international workshop on bounded model checking, Boulder, CO, USA, July 13, 2003
zbMATH Open document ID: 1271.68057
published in: Electronic Notes in Theoretical Computer Science
publication date: 2013-08-26T00:00:00Z
full work available at URL: http://www.sciencedirect.com/science/journal/15710661/89/4
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 00B25
zbMATH DE Number: 6201352
MaRDI profile type: Publication
Recommended article: Proceedings of the 2nd international workshop on bounded model checking (BMC 2004), Boston, MA, USA, July 18, 2004
Recommended article: Proceedings of the 3rd international workshop on bounded model checking (BMC 2005), Edinburgh, UK, July 11, 2005
Recommended article: Proceedings of the fourth international workshop on bounded model checking (BMC 2006), Seattle, WA, USA, August 15, 2006
Recommended article: PDMC 2003. Proceedings of the 2nd international workshop on parallel and distributed model checking (satellite workshop of CAV '03), Boulder, CO, USA, July 14, 2003
Recommended article: 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
Recommended article: Computer Aided Verification
Recommended article: Proceedings of the 3rd workshop on model checking and artificial intelligence (MoChArt 2005), San Francisco, CA, USA, August 27, 2005
description: scientific article; zbMATH DE number 6201352