Frank Nießner, Ulrich Nitsche, Peter Ochsenschläger. Deterministic omega-regular liveness properties. In Symeon Bozapalidis, editor, Proceedings of the 3rd International Conference Developments in Language Theory, DLT 1997, Thessaloniki, Greece, July 20-23, 1997. pages 237-248, Aristotle University of Thessaloniki, 1997.
@inproceedings{NiessnerNO97, title = {Deterministic omega-regular liveness properties}, author = {Frank Nießner and Ulrich Nitsche and Peter Ochsenschläger}, year = {1997}, researchr = {https://researchr.org/publication/NiessnerNO97}, cites = {0}, citedby = {0}, pages = {237-248}, booktitle = {Proceedings of the 3rd International Conference Developments in Language Theory, DLT 1997, Thessaloniki, Greece, July 20-23, 1997}, editor = {Symeon Bozapalidis}, publisher = {Aristotle University of Thessaloniki}, }