Automatic Veri of Probabilistic Concurrent FiniteState Programs (1985)

by M Y Vardi
Venue:In Proceedings of 26th IEEE Symposium on Foundations of Computer Science