Incremental and Complete Bounded Model Checking for Full PLTL (2005)
AUTHORS:
Heljanko Keijo
,
Junttila Tommi
,
Latvala Timo
BOOKTITLE:
CAV 2005
SERIES:
Lecture Notes in Computer Science
VOLUME:
3576
PAGES:
98--111
@inproceedings{ HeljankoJunttilaLatvala:CAV2005, editor = "Etessami, Kousha and Rajamani, Sriram K.", author = "Heljanko, Keijo and Junttila, Tommi and Latvala, Timo", publisher = "Springer", title = "Incremental and Complete Bounded Model Checking for Full {PLTL}", series = "Lecture Notes in Computer Science", booktitle = "CAV 2005", volume = "3576", flags = "ACPT,copy", year = "2005", pages = "98--111" }