Patrice Godefroid, Pierre Wolper. Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties. Formal Methods in System Design, 2(2):149-164, 1993.
No references recorded for this publication.
No citations of this publication recorded.