External Links

Cite Key

Statistics

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

PDF

Tags

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.

An Algorithm for the Approximative Analysis of Rectangular Automata

Jörg Preußig, Stefan Kowalewski, Howard Wong-Toi, Thomas A. Henzinger. An Algorithm for the Approximative Analysis of Rectangular Automata. In Anders P. Ravn, Hans Rischel, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International Symposium, FTRTFT 98, Lyngby, Denmark, September 14-18, 1998, Proceedings. Volume 1486 of Lecture Notes in Computer Science, pages 228-240, Springer, 1998. [doi]

Authors

Jörg Preußig

This author has not been identified. Look up 'Jörg Preußig' in Google

Stefan Kowalewski

This author has not been identified. Look up 'Stefan Kowalewski' in Google

Howard Wong-Toi

This author has not been identified. Look up 'Howard Wong-Toi' in Google

Thomas A. Henzinger

This author has not been identified. Look up 'Thomas A. Henzinger' in Google
runs on