A model checker for hierarchical probabilistic real-time systems

10.1007/978-3-642-31424-7_53Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)7358 LNCS705-71