Symbolic Model Checking of Probabilistic Timed Automata Using Backwards Reachability (2000)

by Marta Kwiatkowska , Gethin Norman , Jeremy Sproston
Citations:49 - 18 self