@phdthesis{
    latvala:phdthesis,
    author = "Latvala, Timo",
    school = "Helsinki University of Technology, Laboratory for Theoretical Computer Science",
    title = "Automata-Theoretic and Bounded Model Checking for Linear Temporal Logic",
    url = "http://www.tcs.hut.fi/Publications/info/bibdb.HUT-TCS-A95.shtml",
    year = "2005",
    number = "A95",
    month = "August",
    flags = "PHDTHESIS, copy",
    address = "Espoo, Finland",
    type = "Doctoral dissertation",
    pages = "52"
}