Liveness in Timed and Untimed Systems.

Rainer Gawlick, Roberto Segala, Jrgen F. Sgaard-Andersen, Nancy A. Lynch

Browse the full ICALP paper archive.