V | |
---|---|
[VPK+08] | P. Vijay Suman, Paritosh K. Pandya, Shankara Narayanan Krishna et Lakshmi Manasa. Timed Automata with Integer Resets: Language Inclusion and Expressiveness. In FORMATS'08, Lecture Notes in Computer Science 5215, pages 78-92. Springer-Verlag, septembre 2008. |
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1
- 1
- 1