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 Wed Dec 4 03:36:28 2024 CET automatisch erstellt.
