Automatic Verification of Liveness Properties of Randomized Systems

Christel BaierChristel Baier, Marta Z. KwiatkowskaMarta Z. Kwiatkowska

DOI Link

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

Details
Bibtex

Forschungsgruppe:Research Group: Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science

@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}
}