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.

Priced Timed Automata: Algorithms and Applications

Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen. Priced Timed Automata: Algorithms and Applications. In Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures. Volume 3657 of Lecture Notes in Computer Science, pages 162-182, Springer, 2004. [doi]

Authors

Gerd Behrmann

This author has not been identified. Look up 'Gerd Behrmann' in Google

Kim Guldstrand Larsen

This author has not been identified. Look up 'Kim Guldstrand Larsen' in Google

Jacob Illum Rasmussen

This author has not been identified. Look up 'Jacob Illum Rasmussen' in Google
runs on