Frank Nießner, Ulrich Ultes-Nitsche. A Complete Characterization of Deterministic Regular Liveness Properties. In Hing Leung, Giovanni Pighizzini, editors, 8th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2006, Las Cruces, New Mexico, USA, June 21 - 23, 2006. Proceedings. pages 211-222, New Mexico State University, Las Cruces, New Mexico, USA, 2006.
@inproceedings{NiessnerU06,
title = {A Complete Characterization of Deterministic Regular Liveness Properties},
author = {Frank Nießner and Ulrich Ultes-Nitsche},
year = {2006},
researchr = {https://researchr.org/publication/NiessnerU06},
cites = {0},
citedby = {0},
pages = {211-222},
booktitle = {8th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2006, Las Cruces, New Mexico, USA, June 21 - 23, 2006. Proceedings},
editor = {Hing Leung and Giovanni Pighizzini},
publisher = {New Mexico State University, Las Cruces, New Mexico, USA},
}