How to Specify and Verify the Long-Run Average Behavior of Probabilistic Systems (1998)

Cached

Download Links

by Luca De Alfaro
Venue:In Proc. LICS'98
Citations:38 - 3 self