Proceedings of the 3rd international workshop on bounded model checking (BMC 2005), Edinburgh, UK, July 11, 2005
type: Item
instance of: scholarly article
title: Proceedings of the 3rd international workshop on bounded model checking (BMC 2005), Edinburgh, UK, July 11, 2005
zbMATH Open document ID: 1272.68007
published in: Electronic Notes in Theoretical Computer Science
publication date: 2013-09-17T00:00:00Z
full work available at URL: http://www.sciencedirect.com/science/journal/15710661/144/1
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 00B25
zbMATH DE Number: 6208791
MaRDI profile type: Publication
Recommended article: BMC'2003. Proceedings of the first international workshop on bounded model checking, Boulder, CO, USA, July 13, 2003
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 fourth international workshop on bounded model checking (BMC 2006), Seattle, WA, USA, August 15, 2006
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
Recommended article: Termination criteria for bounded model checking: extensions and comparison
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
description: scientific article; zbMATH DE number 6208791