Integer Parameter Synthesis for Timed Automata
Résumé
Integer Parameter Synthesis for Timed Automata
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