Baier, Christel ; Kwiatkowska, MartaAutomatic Verification of Liveness Properties of Randomized Systems.
ACM Press
295
In: Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing
(1997)
New York, NY
(Santa Barbara, Calif.)
[Konferenzveröffentlichung]
Diese Liste wurde am Thu Jun 19 03:40:46 2025 CEST automatisch erstellt.
