Andreas Morgenstern, Klaus Schneider, Sven Lamberti. Generating Deterministic $\omega$-Automata for most LTL Formulas by the Breakpoint Construction. In Christoph Scholl, Stefan Disch, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Freiburg, Germany, March 3-5, 2008. pages 119-128, Shaker, 2008.
@inproceedings{MorgensternSL08,
title = {Generating Deterministic $\omega$-Automata for most LTL Formulas by the Breakpoint Construction},
author = {Andreas Morgenstern and Klaus Schneider and Sven Lamberti},
year = {2008},
researchr = {https://researchr.org/publication/MorgensternSL08},
cites = {0},
citedby = {0},
pages = {119-128},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Freiburg, Germany, March 3-5, 2008},
editor = {Christoph Scholl and Stefan Disch},
publisher = {Shaker},
}