Reachability analysis of probabilistic systems by successive refinements (2001)

Cached

Download Links

by Pedro R. D'argenio , Henrik E. Jensen , Kim G. Larsen
Venue:Proc. 1st Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Veri (PAPM/PROBMIV'01), volume 2165 of LNCS
Citations:48 - 1 self