Using partial orders for the efficient verification of deadlock freedom and safety properties, CAV ’91 (1992)

by Patrice Godefroid, Pierre Wolper
Venue:Proceedings of the 3rd International Workshop on Computer Aided Verification