DMCA

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

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:77 - 12 self