Quantitative Verification: Models, Techniques and Tools (2007)

View PDF

Download Links

by Marta Kwiatkowska
Citations:31 - 14 self