Abstraction Refinement Algorithms for Timed Automata - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Abstraction Refinement Algorithms for Timed Automata

Fichier principal
Vignette du fichier
Roussanaly2019_Chapter_AbstractionRefinementAlgorithm.pdf (1.14 Mo) Télécharger le fichier
Origine Publication financée par une institution

Dates et versions

hal-02265808 , version 1 (04-06-2021)

Identifiants

Citer

Victor Roussanaly, Ocan Sankur, Nicolas Markey. Abstraction Refinement Algorithms for Timed Automata. CAV 2019 - 31st International Conference on Computer Aided Verification, Jul 2019, New York, United States. pp.22-40, ⟨10.1007/978-3-030-25540-4_2⟩. ⟨hal-02265808⟩
124 Consultations
103 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More