Linear Encodings of Bounded LTL Model Checking

Reference:

Armin Biere, Keijo Heljanko, Tommi Junttila, Timo Latvala, and Viktor Schuppan. Linear encodings of bounded LTL model checking. Logical Methods in Computer Science, 2(5:5):1–64, 2006.

Suggested BibTeX entry:

@article{BiereHeljankoJunttilaLatvalaSchuppan:LMCS2006,
    author = {Armin Biere and Keijo Heljanko and Tommi Junttila and Timo Latvala and Viktor Schuppan},
    journal = {Logical Methods in Computer Science},
    number = {5:5},
    pages = {1--64},
    title = {Linear Encodings of Bounded {LTL} Model Checking},
    volume = {2},
    year = {2006},
}