J | |
---|---|
[JR11] | Rémi Jaubert et
Pierre-Alain Reynier.
Quantitative Robustness Analysis of Flat Timed
Automata.
In FoSSaCS'11,
Lecture Notes in Computer Science 6604, pages 229-244. Springer-Verlag, mars 2011.
|
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1