Model Checking meets Performance Evaluation (2005)

by C Baier, B Haverkort, H Hermanns, J-P Katoen
Venue:ACM Performance Evaluation Review