Up a level |
Number of items: 1.
Hahn, EM, Li, G, Schewe, S ORCID: 0000-0002-9093-9518, Turrini, A and Zhang, L
(2015)
Lazy probabilistic model checking without determinisation.
In:
26th International Conference on Concurrency Theory (CONCUR 2015).
Leibniz International Proceedings in Informatics (LIPIcs), 42
.
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, pp. 354-367.
ISBN 9783939897910