Automatic Verification of Liveness Properties of Randomized Systems
From International Center for Computational Logic
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
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
- 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}
}