Inproceedings3256599067

PublikationenPublications

• Nach AutorBy Author
  • Christel BaierChristel Baier
• Nach ForschungsgruppeBy Research Group
  • Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science

Toggle side column

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