@inproceedings{b85c28b79379494bbad0f9c0357eb618,
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 = "3-540-23738-0",
pages = "186--200",
editor = "Hu, {Alan J.} and Martin, {Andrew K.}",
booktitle = "Formal Methods in Computer-Aided Design 2004, Austin, Texas, USA, 15.-17.11.2004",
publisher = "Springer",
address = "Germany",
}