Boris Shenker, Tadao Murata, Sol M. Shatz. Use of Petri-Net Invariants to Detect Static Deadlocks in Ada Programs. In Proceedings of the Fall Joint Computer Conference, November 2-6, 1986, Dallas, Texas, USA. pages 1072-1081, IEEE Computer Society, 1986.
@inproceedings{ShenkerMS86,
title = {Use of Petri-Net Invariants to Detect Static Deadlocks in Ada Programs},
author = {Boris Shenker and Tadao Murata and Sol M. Shatz},
year = {1986},
researchr = {https://researchr.org/publication/ShenkerMS86},
cites = {0},
citedby = {0},
pages = {1072-1081},
booktitle = {Proceedings of the Fall Joint Computer Conference, November 2-6, 1986, Dallas, Texas, USA},
publisher = {IEEE Computer Society},
isbn = {0-8186-0743-2},
}