Model Checking for Probability and Time: From Theory to Practice (2003)

Cached

Download Links

by Marta Kwiatkowska
Venue:In Proc. Logic in Computer Science
Citations:47 - 1 self