Details for the publication HahnHH14.

Ernst Moritz Hahn (), Arnd Hartmanns (), Holger Hermanns (): Reachability and Reward Checking for Stochastic Timed Automata. In Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70, 2014. DOI BIB