Publications
Filters: Author is Pepijn Crouzen [Clear All Filters]
, “Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains”, in Model Checking Software - 17th International SPIN Workshop, 2010, vol. LNCS 6349, pp. 193-211.
paper-11.pdf (315.45 KB)
paper-11.pdf (315.45 KB)