Boris Shenker

Publication Activity (10 Years)

Years Active: 1986-1989
Publications (10 Years): 0

Publications

Tadao Murata, Boris Shenker, Sol M. Shatz
Detection of Ada Static Deadlocks Using Petri Net Invariants. IEEE Trans. Software Eng. 15 (3) (1989)
Boris Shenker, Tadao Murata, Sol M. Shatz
Use of Petri-Net Invariants to Detect Static Deadlocks in Ada Programs. FJCC (1986)