External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Liveness in Timed and Untimed Systems

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.

Authors

Rainer Gawlick

This author has not been identified. Look up 'Rainer Gawlick' in Google

Roberto Segala

This author has not been identified. Look up 'Roberto Segala' in Google

Jørgen F. Søgaard-Andersen

This author has not been identified. Look up 'Jørgen F. Søgaard-Andersen' in Google

Nancy A. Lynch

This author has not been identified. Look up 'Nancy A. Lynch' in Google
runs on