Skip to Main content Skip to Navigation
Conference papers

The AF Tool for Specifying and Analyzing Markov Models

Résumé : No abstract
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-00790881
Contributor : Anne Jaigu <>
Submitted on : Thursday, February 21, 2013 - 1:47:47 PM
Last modification on : Tuesday, June 15, 2021 - 4:27:41 PM

Identifiers

  • HAL Id : hal-00790881, version 1

Citation

S. Fontanarrosa, Gerardo Rubino. The AF Tool for Specifying and Analyzing Markov Models. ALIO―INFORMS Joint International Meeting (INFORMS International Conference and XV CLAIO, 2010, Unknown, Argentina. ⟨hal-00790881⟩

Share

Metrics

Record views

231