van Rossum, Peter
- Significant Diagnostic Counterexamples in Probabilistic Model Checking
2008/06/06 by Andres, Miguel E., D'Argenio, Pedro, van Rossum, Peter · 1 citation
#B.8 #C.4 #D.2.4 #FOS: Computer and information sciences #G.3 #Logic in Computer Science (cs.LO) #Performance (cs.PF)