Automated Testing of Büchi Automata Translators for Linear Temporal Logic

Reference:

Heikki Tauriainen. Automated testing of Büchi automata translators for linear temporal logic. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2000.

Suggested BibTeX entry:

@mastersthesis{TauriainenMsc,
    author = {Tauriainen, Heikki},
    school = {Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science},
    title = {Automated Testing of {B}\"uchi Automata Translators for Linear Temporal Logic},
    year = {2000},
}