DMCA
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach (2002)
Cached
Download Links
by
Marta Kwiatkowska
,
Gethin Norman
,
David Parker
Venue: | International Journal on Software Tools for Technology Transfer (STTT |
Citations: | 206 - 31 self |