TITLE     : 30 years of simulation-based quantitative analysis tools: a comparison experiment between Möbius and Uppaal SMC
AUTHOR(S) : Basile D, Ter Beek Mh, Di Giandomenico F, Fantechi A, Gnesi S, Spagnolo Go
TYPE      : Conference article
YEAR      : 2020
CODE      : 434871

*** DO NOT EDIT THIS FILE ***