Quantitative Verification: Models, Techniques and Tools (2007)

Cached

Download Links

by Marta Kwiatkowska
Citations:24 - 13 self