DMCA

Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking (2009)

by Husain Aljazzar , Stefan Leue
Citations:24 - 8 self