A new scheme for memory-efficient probabilistic verification (1996)

by U Stern, D Dill
Venue:In Proceedings of the IFIP TC6/WG6.1 Joint Int. Conf. on Formal Description Techn. for Distr. Systems and Comm. Protocols, and Protocol Spec., Testing, and Verification, FORTE/PSTV96