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},
}