Contributions to parametric timed model checking: Theory and algorithms
Contributions au model-checking temporisé paramétré : théorie et algorithmes
Origin | Files produced by the author(s) |
---|
Loading...
Origin | Files produced by the author(s) |
---|
Étienne André : Connect in order to contact the contributor
https://theses.hal.science/tel-01857440
Submitted on : Thursday, August 16, 2018-10:23:30 AM
Last modification on : Friday, March 24, 2023-2:53:08 PM
Long-term archiving on : Saturday, November 17, 2018-12:27:59 PM