Abstraction Refinement Algorithms for Timed Automata

Document type :
Book sections
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02265808
Contributor : Ocan Sankur <>
Submitted on : Monday, August 12, 2019 - 2:34:00 PM
Last modification on : Wednesday, August 14, 2019 - 1:11:39 AM

Identifiers

  • HAL Id : hal-02265808, version 1

Citation

Victor Roussanaly, Ocan Sankur, Nicolas Markey. Abstraction Refinement Algorithms for Timed Automata. Computer Aided Verification 2019, pp.22-40, 2019. ⟨hal-02265808⟩

Share

Metrics

Record views

14