Faster and symbolic CTMC model checking (0)

by J-P Katoen, M Kwiatkowska, G Norman, D Parker
Venue:in: Lecture Notes in Computer Science