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 Jul 17 03:23:38 2024 CEST automatisch erstellt.