Simple bounded LTL model checking (2004)
AUTHORS:
Latvala Timo
,
Biere Armin,
Heljanko Keijo
,
Junttila Tommi
BOOKTITLE:
Formal Methods in Computer-Aided Design 2004, 5th International Conference FMCAD'04, Austin, Texas, USA
SERIES:
Lecture Notes in Computer Science
VOLUME:
3312
PAGES:
186--200
@inproceedings{ LatvalaBiereHeljankoJunttila:FMCAD2004, editor = "Hu, Alan and Martin, Andy", author = "Latvala, Timo and Biere, Armin and Heljanko, Keijo and Junttila, Tommi", publisher = "Springer", title = "Simple bounded {LTL} model checking", series = "Lecture Notes in Computer Science", booktitle = "Formal Methods in Computer-Aided Design 2004, 5th International Conference FMCAD'04, Austin, Texas, USA", month = "November", volume = "3312", flags = "copy,SA-53695", year = "2004", keywords = "{LTL}, Bounded Model Checking, {NuSMV}", pages = "186--200" }