@techreport{bb182a56c29441c8b455142e3b6e26c7,
title = "Automated Testing of B{\"u}chi Automata Translators for Linear Temporal Logic",
keywords = "algorithm testing, B{\"u}chi automata, linear temporal logic, model checking, algorithm testing, B{\"u}chi automata, linear temporal logic, model checking, algorithm testing, B{\"u}chi automata, linear temporal logic, model checking",
author = "H. Tauriainen",
year = "2000",
language = "English",
series = "Helsinki University of Technology, Laboratory for Theoretical Computer Science, Research Reports",
publisher = "Helsinki University of Technology",
number = "HUT-TCS-A66",
pages = "86",
type = "WorkingPaper",
institution = "Helsinki University of Technology",
}