Parallel Program Verification Using BMC (2002)
AUTHORS:
Jussila Toni
,
Niemelä Ilkka
BOOKTITLE:
Proceedings of the ECAI 2002 Workshop on Model Checking and Artificial Intelligence
PAGES:
59--66
@inproceedings{ ttj:mochart, author = {Jussila, Toni and Niemel\"a, Ilkka}, ps = "MoChArt02.ps", title = "Parallel Program Verification Using {BMC}", booktitle = "Proceedings of the ECAI 2002 Workshop on Model Checking and Artificial Intelligence", address = "Lyon, France", month = "July", flags = "public copy SA-53695", year = "2002", pages = "59--66" }