DMCA

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:61 - 1 self