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.

Parametric Model Checking Timed Automata Under Non-Zenoness Assumption

Étienne André, Hoang Gia Nguyen, Laure Petrucci, Jun Sun 0001. Parametric Model Checking Timed Automata Under Non-Zenoness Assumption. In Clark Barrett, Misty Davies, Temesghen Kahsai, editors, NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings. Volume 10227 of Lecture Notes in Computer Science, pages 35-51, 2017. [doi]

Authors

Étienne André

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

Hoang Gia Nguyen

This author has not been identified. Look up 'Hoang Gia Nguyen' in Google

Laure Petrucci

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

Jun Sun 0001

This author has not been identified. Look up 'Jun Sun 0001' in Google
runs on