J | |
---|---|
[JR11] | Rémi Jaubert and
Pierre-Alain Reynier.
Quantitative Robustness Analysis of Flat Timed
Automata.
In FoSSaCS'11,
Lecture Notes in Computer Science 6604, pages 229-244. Springer-Verlag, March 2011.
|
Search
Displayed 1 resultList of authors
- 1
- 1