Rainer Gawlick, Roberto Segala, Jørgen F. Søgaard-Andersen, Nancy A. Lynch. Liveness in Timed and Untimed Systems. In Serge Abiteboul, Eli Shamir, editors, Automata, Languages and Programming, 21st International Colloquium, ICALP94, Jerusalem, Israel, July 11-14, 1994, Proceedings. Volume 820 of Lecture Notes in Computer Science, pages 166-177, Springer, 1994.
@inproceedings{GawlickSSL94,
title = {Liveness in Timed and Untimed Systems},
author = {Rainer Gawlick and Roberto Segala and Jørgen F. Søgaard-Andersen and Nancy A. Lynch},
year = {1994},
researchr = {https://researchr.org/publication/GawlickSSL94},
cites = {0},
citedby = {0},
pages = {166-177},
booktitle = {Automata, Languages and Programming, 21st International Colloquium, ICALP94, Jerusalem, Israel, July 11-14, 1994, Proceedings},
editor = {Serge Abiteboul and Eli Shamir},
volume = {820},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-58201-0},
}