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: Verifikation und formale quantitative Analyse„Verifikation und formale quantitative Analyse“ befindet sich nicht in der Liste (Computational Logic, Automatentheorie, Wissensverarbeitung, Knowledge-Based Systems, Knowledge Systems, Wissensbasierte Systeme, Logische Programmierung und Argumentation, Algebra und Diskrete Strukturen, Knowledge-aware Artificial Intelligence, Algebraische und logische Grundlagen der Informatik) zulässiger Werte für das Attribut „Forschungsgruppe“.Algebraic 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}
}