Tomohiko Takagi, Ryo Kurozumi. Simulation and Regression Testing Technique for Software Formal Specifications Based on Extended Place/Transition Net with Attributed Tokens. JRNAL, 8(2):112-116, 2021. [doi]
@article{TakagiK21,
title = {Simulation and Regression Testing Technique for Software Formal Specifications Based on Extended Place/Transition Net with Attributed Tokens},
author = {Tomohiko Takagi and Ryo Kurozumi},
year = {2021},
doi = {10.2991/jrnal.k.210713.009},
url = {https://doi.org/10.2991/jrnal.k.210713.009},
researchr = {https://researchr.org/publication/TakagiK21},
cites = {0},
citedby = {0},
journal = {JRNAL},
volume = {8},
number = {2},
pages = {112-116},
}