@phdthesis{
    TauriainenHLic2003,
    author = "Tauriainen, Heikki",
    juforank = "NA",
    school = "Helsinki University of Technology",
    note = "Licentiate thesis",
    isbn = "0",
    language = "eng",
    title = "On Translating Linear Temporal Logic into Alternating and Nondeterministic Automata",
    url = "",
    timestamp = "2014.05.21",
    responsibleauthor = "Tauriainen, Heikki",
    flags = "",
    il = "no",
    year = "2003",
    owner = "MN",
    unitcode = "T306-100",
    kay = "NA",
    impactfactor = "G3",
    type = "Licentiate Thesis"
}