Hoang Gia Nguyen. Efficient Parametric Verification of Parametric Timed Automata. (Vérification efficace des automates temporisés paramétrés). PhD thesis, Sorbonne Paris Cité, France, 2018. [doi]
No references recorded for this publication.
No citations of this publication recorded.