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.

Incremental Language Inclusion Checking for Networks of Timed Automata

Willibald Krenn, Dejan Nickovic, Loredana Tec. Incremental Language Inclusion Checking for Networks of Timed Automata. In Víctor A. Braberman, Laurent Fribourg, editors, Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings. Volume 8053 of Lecture Notes in Computer Science, pages 152-167, Springer, 2013. [doi]

Authors

Willibald Krenn

This author has not been identified. Look up 'Willibald Krenn' in Google

Dejan Nickovic

This author has not been identified. Look up 'Dejan Nickovic' in Google

Loredana Tec

This author has not been identified. Look up 'Loredana Tec' in Google
runs on