DMCA

A Markov Chain Model Checker (2000)

by Holger Hermanns , Joost-pieter Katoen , Joachim Meyer-kayser , Markus Siegle
Citations:57 - 22 self