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]
@inproceedings{CantrellMPW20,
title = {Matrix Reduction Verification of Extended Petri Nets},
author = {Walter Alan Cantrell and Katia P. Maxwell and Mikel D. Petty and Tymaine S. Whitaker},
year = {2020},
doi = {10.1145/3374135.3385291},
url = {https://doi.org/10.1145/3374135.3385291},
researchr = {https://researchr.org/publication/CantrellMPW20},
cites = {0},
citedby = {0},
pages = {296-299},
booktitle = {Proceedings of the 2020 ACM Southeast Conference, ACM SE '20, Tampa, FL, USA, April 2-4, 2020},
editor = {J. Morris Chang and Dan Lo and Eric Gamess},
publisher = {ACM},
isbn = {978-1-4503-7105-6},
}