Integer Parameter Synthesis for Timed Automata
Résumé
Integer Parameter Synthesis for Timed Automata
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-00941007
Soumis le : lundi 3 février 2014-11:29:47
Dernière modification le : vendredi 5 janvier 2024-03:25:40
Dates et versions
Identifiants
- HAL Id : hal-00941007 , version 1
Citer
Aleksandra Jovanovic, Didier Lime, Olivier Henri Roux. Integer Parameter Synthesis for Timed Automata. 19th International Conference Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, Mar 2013, Rome, Italy. pp.401-415. ⟨hal-00941007⟩
Collections
135
Consultations
0
Téléchargements