Communication Dans Un Congrès
Lecture Notes in Computer Science
Année : 2013
Olivier Henri Roux : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00940988
Soumis le : lundi 3 février 2014-11:15:16
Dernière modification le : vendredi 5 janvier 2024-03:22:58
Dates et versions
Identifiants
- HAL Id : hal-00940988 , version 1
Citer
Aleksandra Jovanovic, Didier Lime, Olivier Henri Roux. Synthesis of bounded integer parameters for parametric timed reachability games. Symposium on Automated Technology for Verification and Analysis (ATVA 2013), Oct 2013, Hanoi, Vietnam. pp.87-101. ⟨hal-00940988⟩
Collections
130
Consultations
0
Téléchargements