Simple Bounded LTL Model Checking (2004)
AUTHORS:
Latvala Timo
,
Biere Armin,
Heljanko Keijo
,
Junttila Tommi
@techreport{ HUT-TCS-A92, author = "Latvala, Timo and Biere, Armin and Heljanko, Keijo and Junttila, Tommi", institution = "Helsinki University of Technology, Laboratory for Theoretical Computer Science", title = "Simple Bounded {LTL} Model Checking", year = "2004", number = "A92", month = "July", flags = "copy", address = "Espoo, Finland", type = "Research Report", pages = "16" }