@article{571337e6cd3c4044aff80d9356de1383,
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 = "Technical University of Braunschweig",
number = "5:5",
}