Quantitative Verification: Models, Techniques and Tools (2007)

Cached

Download Links

by Marta Kwiatkowska
Citations:17 - 7 self