Hartmanns, Arnd, Saarland University - Computer Science, Germany
-
Volume 70: Automated Verification of Critical Systems 2014 - Articles
Reachability and Reward Checking for Stochastic Timed Automata
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.