Wojciech Cellary. A New Safety Test for Deadlock Avoidance. Inf. Process. Lett., 8(3):115-120, 1979.
@article{Cellary79, title = {A New Safety Test for Deadlock Avoidance}, author = {Wojciech Cellary}, year = {1979}, tags = {testing}, researchr = {https://researchr.org/publication/Cellary79}, cites = {0}, citedby = {0}, journal = {Inf. Process. Lett.}, volume = {8}, number = {3}, pages = {115-120}, }