DMCA

How Fast and Fat Is Your Probabilistic Model Checker? An experimental performance comparison (2007)

Cached

Download Links

by David N. Jansen , Joost-pieter Katoen , Marcel Oldenkamp , Mariëlle Stoelinga , Ivan Zapreev
Citations:18 - 1 self