Hahn, Ernst Moritz, State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China
-
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.