Detection of Ada Static Deadlocks Using Petri Nets Invariants (1989)

by T Murata, B Shenker, S M Shatz
Venue:IEEE trans. Oo Software Engineering