Published September 12, 2022
| Version v1
Software
Open
Actors2PMaude
Description
The artifacts are used to (re)produce the experimental results in the paper "Bridging the Semantic Gap between Qualitative and Quantitative Models of Distributed Systems".
Files
Actors2PMaude.zip
Files
(43.1 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:0372ce7fa5cca972687180a6ffdf8cf1
|
43.1 MB | Preview Download |