Skip to Main content Skip to Navigation
Conference papers

Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models

Complete list of metadata

https://hal.inria.fr/hal-03150821
Contributor : Stefan Haar <>
Submitted on : Wednesday, February 24, 2021 - 10:35:42 AM
Last modification on : Tuesday, March 30, 2021 - 12:12:02 PM

Identifiers

  • HAL Id : hal-03150821, version 1

Citation

Serge Haddad, Susanna Donatelli. Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models. Proceedings of the 14th International Conference on Language and Automata Theory and Applications (LATA'20), Sep 2021, Milan, Italy. ⟨hal-03150821⟩

Share

Metrics

Record views

18