Using partial orders for the efficient verification of deadlock freedom and safety properties (1993)

by P Godefroid, P Wolper
Venue:FMSD