| |
| 1989 | ||
|---|---|---|
| 2 | EE | Tadao Murata, Boris Shenker, Sol M. Shatz: Detection of Ada Static Deadlocks Using Petri Net Invariants. IEEE Trans. Software Eng. 15(3): 314-326 (1989) |
| 1986 | ||
| 1 | Boris Shenker, Tadao Murata, Sol M. Shatz: Use of Petri-Net Invariants to Detect Static Deadlocks in Ada Programs. FJCC 1986: 1072-1081 | |
| 1 | Tadao Murata | [1] [2] |
| 2 | Sol M. Shatz | [1] [2] |