Formal verification of a partial-order reduction technique for model checking (1996)

by Ching-tsun Chou , Doron Peled
Venue:IN PROC. OF THE SECOND INTERNATIONAL WORKSHOP ON TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
Citations:21 - 1 self