DBLP BibTeX Record 'journals/iandc/SegalaGSL98'
@article{DBLP:journals/iandc/SegalaGSL98,
author = {Roberto Segala and
Rainer Gawlick and
J{\o}rgen F. S{\o}gaard-Andersen and
Nancy A. Lynch},
title = {Liveness in Timed and Untimed Systems},
journal = {Inf. Comput.},
volume = {141},
number = {2},
year = {1998},
pages = {119-171},
ee = {http://dx.doi.org/10.1006/inco.1997.2671},
bibsource = {DBLP, http://dblp.uni-trier.de}
}



