Up a level |
Number of items: 1.
Hahn, Ernst Moritz, Li, Yi, Schewe, Sven ORCID: 0000-0002-9093-9518, Turrini, Andrea and Zhang, Lijun
(2014)
ISCASMC: A Web-Based Probabilistic Model Checker.
In: FM 2014: Formal Methods - 19th International Symposium, Singapore.