DMCA

The ins and outs of the probabilistic model checker MRMC (2009)

by Joost-pieter Katoen , Ivan S. Zapreev , Ernst Moritz Hahn , Holger Hermanns , David N. Jansen
Venue:IN PROC. QEST’09
Citations:72 - 17 self