https://hal.inria.fr/hal-00790881 Contributor : Anne JaiguConnect in order to contact the contributor Submitted on : Thursday, February 21, 2013 - 1:47:47 PM Last modification on : Wednesday, February 2, 2022 - 3:50:47 PM
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⟩