@inproceedings{328bafa58b5845de8a3ba44ead8ba0d1,
title = "Simple is Better: Efficient Bounded Model Checking for Past LTL",
keywords = "Bounded model checking, NuSMV, Past LTL, Bounded model checking, NuSMV, Past LTL, Bounded model checking, NuSMV, Past LTL",
author = "Timo Latvala and Armin Biere and Keijo Heljanko and Tommi Junttila",
year = "2005",
language = "English",
isbn = "3-540-24297-X",
pages = "380--395",
editor = "Cousot Radhia",
booktitle = "Verification, Model Checking, and Abstract Interpretation, Paris, France, 17-19 January 2005",
publisher = "Springer",
address = "Germany",
}