Publication [FengKLXZ18] Monitoring CTMCs by Multi-clock Timed Automata Feng, Y.; Katoen, J.-P.; Li, H.; Xia, B. and Zhan, N. In CAV (1), pages 507-526, Springer, Lecture Notes in Computer Science 10981, 2018.Downloads: bib
