Rapport
(Rapport De Recherche)
Année : 2015
Benedikt Bollig : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01242916
Soumis le : lundi 14 décembre 2015-12:12:30
Dernière modification le : vendredi 24 mars 2023-14:53:01
Dates et versions
Identifiants
- HAL Id : hal-01242916 , version 1
Citer
Michael Blondin, Alain Finkel, Christoph Haase, Serge Haddad. Approaching the Coverability Problem Continuously. [Research Report] 1510.05724, Computing Research Repository. 2015. ⟨hal-01242916⟩
Collections
127
Consultations
0
Téléchargements