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 Jan 1 03:30:26 2026 CET automatisch erstellt.
