Partial-order Methods for Temporal Verification (1993)

by P Wolper, P Godefroid
Venue:In Proc. 4th Int. Conference on Concurrency Theory (CONCUR