Numerical vs. statistical probabilistic model checking: An empirical study (2004)

Cached

Download Links

by Håkan L. S. Younes , Marta Kwiatkowska , Gethin Norman , David Parker
Venue:IN 10TH INTERNATIONAL CONFERENCE ON TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (TACAS’04
Citations:48 - 7 self