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...