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

by P Godefroid, P Wolper
Venue:In Proceedings, 3rd Workshop on Computer Aided Verification, Lecture notes in Computer Science