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 Sat May 4 03:09:57 2024 CEST automatisch erstellt.
