O | |
---|---|
[ORS14] | Youssouf Oualhadj, Pierre-Alain Reynier et Ocan Sankur. Probabilistic Robust Timed Games. In CONCUR'14, Lecture Notes in Computer Science 8704, pages 203-217. Springer-Verlag, septembre 2014. |
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1
- 1