Beyond memoryless distributions: Model checking semi-Markov chains (2001)

by Infante López, G G, H Hermanns, J-P Katoen
Venue:In Proc. 1st Joint International PAPM-PROBMIV Workshop, volume 2165 of LNCS