Walter Alan Cantrell, Katia P. Maxwell, Mikel D. Petty, Tymaine S. Whitaker. Matrix Reduction Verification of Extended Petri Nets. In J. Morris Chang, Dan Lo, Eric Gamess, editors, Proceedings of the 2020 ACM Southeast Conference, ACM SE '20, Tampa, FL, USA, April 2-4, 2020. pages 296-299, ACM, 2020. [doi]
No references recorded for this publication.
No citations of this publication recorded.