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.

Integer-Complete Synthesis for Bounded Parametric Timed Automata

Étienne André, Didier Lime, Olivier H. Roux. Integer-Complete Synthesis for Bounded Parametric Timed Automata. In Mikolaj Bojanczyk, Slawomir Lasota, Igor Potapov, editors, Reachability Problems - 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings. Volume 9328 of Lecture Notes in Computer Science, pages 7-19, Springer, 2015. [doi]

Authors

Étienne André

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

Didier Lime

This author has not been identified. Look up 'Didier Lime' in Google

Olivier H. Roux

This author has not been identified. Look up 'Olivier H. Roux' in Google
runs on