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

Cached

Download Links

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
Citations:21 - 6 self

Document Versions

A New Scheme for Memory-Efficient Probabilistic Verification –Ulrich Stern, David L. Dill — 1996 — in IFIP TC6/WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification