@techreport{e16f6af8c2c6457ab93e2efcaa9ff476,
title = "Simple bounded LTL model checking",
keywords = "bounded model checking, LTL, NuSMV, bounded model checking, LTL, NuSMV, bounded model checking, LTL, NuSMV",
author = "Timo Latvala and Armin Biere and Keijo Heljanko and Tommi Junttila",
year = "2004",
language = "English",
isbn = "951-22-7223-7",
series = "Helsinki University of Technology, Laboratory for Theoretical Computer Science, Research Reports",
publisher = "Helsinki University of Technology, Laboratory for Theoretical Computer Science",
number = "HUT-TCS-A92",
type = "WorkingPaper",
institution = "Helsinki University of Technology, Laboratory for Theoretical Computer Science",
}