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.

Efficient Convex Zone Merging in Parametric Timed Automata

Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol. Efficient Convex Zone Merging in Parametric Timed Automata. In Sergiy Bogomolov, David Parker 0001, editors, Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings. Volume 13465 of Lecture Notes in Computer Science, pages 200-218, Springer, 2022. [doi]

Authors

Étienne André

This author has not been identified. Look up 'Étienne André' in Google

Dylan Marinho

This author has not been identified. Look up 'Dylan Marinho' in Google

Laure Petrucci

This author has not been identified. Look up 'Laure Petrucci' in Google

Jaco van de Pol

This author has not been identified. Look up 'Jaco van de Pol' in Google
runs on