Use of Petri-Net Invariants to Detect Static Deadlocks in Ada Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Boris Shenker' in GoogleThis author has not been identified. Look up 'Tadao Murata' in GoogleThis author has not been identified. Look up 'Sol M. Shatz' in Google

runs on WebDSL