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

by Marta Kwiatkowska , Gethin Norman , Jeremy Sproston
Citations:60 - 20 self