Design and Implementation of a Petri Net Based Toolkit for Ada Tasking Analysis

Sol M. Shatz, Khanh Mai, Christopher Black, Shengru Tu. Design and Implementation of a Petri Net Based Toolkit for Ada Tasking Analysis. IEEE Trans. Parallel Distrib. Syst., 1(4):424-441, 1990. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.