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]
@phdthesis{hal-13346, title = {Efficient Parametric Verification of Parametric Timed Automata. (Vérification efficace des automates temporisés paramétrés)}, author = {Hoang Gia Nguyen}, year = {2018}, url = {https://tel.archives-ouvertes.fr/tel-02491169}, researchr = {https://researchr.org/publication/hal-13346}, cites = {0}, citedby = {0}, school = {Sorbonne Paris Cité, France}, }