Modeling and Verification of Randomized Distributed Real-Time Systems (1995)

by R Segala