C | |
---|---|
[CHR02] | Franck Cassez, Thomas A. Henzinger et Jean-François Raskin. A Comparison of Control Problems for Timed and Hybrid Systems. In HSCC'02, Lecture Notes in Computer Science 2289, pages 134-148. Springer-Verlag, mars 2002. |
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1
- 1