Automata-Theoretic and Bounded Model Checking for Linear Temporal Logic

Reference:

Timo Latvala. Automata-Theoretic and Bounded Model Checking for Linear Temporal Logic. Doctoral dissertation, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, August 2005.

Suggested BibTeX entry:

@phdthesis{latvala:phdthesis,
    address = {Espoo, Finland},
    author = {Timo Latvala},
    month = {August},
    number = {A95},
    pages = {52},
    school = {Helsinki University of Technology, Laboratory for Theoretical Computer Science},
    title = {Automata-Theoretic and Bounded Model Checking for Linear Temporal Logic},
    type = {Doctoral dissertation},
    year = {2005},
}