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.
@article{GodefroidW93,
title = {Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties},
author = {Patrice Godefroid and Pierre Wolper},
year = {1993},
researchr = {https://researchr.org/publication/GodefroidW93},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {2},
number = {2},
pages = {149-164},
}