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.

Computing Maximally-Permissive Strategies in Acyclic Timed Automata

Emily Clement, Thierry Jéron, Nicolas Markey, David Mentré. Computing Maximally-Permissive Strategies in Acyclic Timed Automata. In Nathalie Bertrand 0001, Nils Jansen 0001, editors, Formal Modeling and Analysis of Timed Systems - 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings. Volume 12288 of Lecture Notes in Computer Science, pages 111-126, Springer, 2020. [doi]

Authors

Emily Clement

This author has not been identified. Look up 'Emily Clement' in Google

Thierry Jéron

This author has not been identified. Look up 'Thierry Jéron' in Google

Nicolas Markey

This author has not been identified. Look up 'Nicolas Markey' in Google

David Mentré

This author has not been identified. Look up 'David Mentré' in Google
runs on