@article{df12cd38216447efbb67da1d19afd671,
title = "Linear Encodings of Bounded LTL Model Checking",
keywords = "Bounded Model Checking, Liveness to Safety, LTL, NuSMV, PLTL, Bounded Model Checking, Liveness to Safety, LTL, NuSMV, PLTL, Bounded Model Checking, Liveness to Safety, LTL, NuSMV, PLTL",
author = "Armin Biere and Keijo Heljanko and Tommi Junttila and Timo Latvala and Viktor Schuppan",
year = "2006",
language = "English",
volume = "2",
pages = "1--64",
journal = "Logical Methods in Computer Science",
issn = "1860-5974",
publisher = "Logical Methods in Computer Science c/o Institut f. Theoretische Informatik, Technische Universit{\"a}t Braunschweig ",
number = "5:5",
}