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)
,