Automatic Verification of Liveness Properties of Randomized Systems

From International Center for Computational Logic

Toggle side column

Automatic Verification of Liveness Properties of Randomized Systems

Christel BaierChristel Baier,  Marta Z. KwiatkowskaMarta Z. Kwiatkowska
Christel Baier, Marta Z. Kwiatkowska
Automatic Verification of Liveness Properties of Randomized Systems
In James E. Burns and Hagit Attiya, eds., 16th Annual ACM Symposium on Principles of Distributed Computing (PODC), 295, 1997. ACM
@inproceedings{BK1997,
  author    = {Christel Baier and Marta Z. Kwiatkowska},
  title     = {Automatic Verification of Liveness Properties of Randomized
               Systems},
  editor    = {James E. Burns and Hagit Attiya},
  booktitle = {16th Annual {ACM} Symposium on Principles of Distributed
               Computing (PODC)},
  publisher = {ACM},
  year      = {1997},
  pages     = {295},
  doi       = {10.1145/259380.259527}
}