@phdthesis{
    Tauriainen06,
    author = "Tauriainen, Heikki",
    school = "Helsinki University of Technology, Laboratory for Theoretical Computer Science Research Reports 104",
    title = "Automata and Linear Temporal Logic: Translations with Transition-Based Acceptance",
    url = "http://lib.tkk.fi/Diss/2006/isbn9512283433/",
    address = "Espoo, Finland",
    year = "2006",
    owner = "MM",
    impactfactor = "G4"
}