A New Scheme for Memory-Efficient Probabilistic Verification (1996)

by Ulrich Stern, David L. Dill
Venue:in IFIP TC6/WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification