@inproceedings{
    LatBieHelJun:VMCAI05,
    editor = "Cousot, Radhia",
    author = "Latvala, Timo and Biere, Armin and Heljanko, Keijo and Junttila, Tommi",
    publisher = "Springer",
    title = "Simple is Better: Efficient Bounded Model Checking for Past {LTL}",
    series = "Lecture Notes in Computer Science",
    booktitle = "Verification, Model Checking and Abstract Interpretation 2005, 6th International Conference VMCAI'05, Paris, France",
    month = "January",
    volume = "3385",
    flags = "SA-53695",
    year = "2005",
    keywords = "{PLTL}, Bounded Model Checking, {NuSMV}",
    pages = "380--395"
}