A | |
---|---|
[ALM05] | Rajeev Alur, Salvatore La Torre et Parthasarathy Madhusudan. Perturbed Timed Automata. In HSCC'05, Lecture Notes in Computer Science 3414, pages 70-85. Springer-Verlag, mars 2005. |
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1
- 1