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]
@article{ShatzMBT90, title = {Design and Implementation of a Petri Net Based Toolkit for Ada Tasking Analysis}, author = {Sol M. Shatz and Khanh Mai and Christopher Black and Shengru Tu}, year = {1990}, url = {http://computer.org/tpds/td1990/l0424abs.htm}, tags = {rule-based, analysis, design}, researchr = {https://researchr.org/publication/ShatzMBT90}, cites = {0}, citedby = {0}, journal = {IEEE Trans. Parallel Distrib. Syst.}, volume = {1}, number = {4}, pages = {424-441}, }