Franciny Medeiros Barreto, Stéphane Julia. Formal Approach Based on Petri Nets for Modeling and Verification of Video Games. Computers and Artificial Intelligence, 40(1):216-248, 2021. [doi]
@article{BarretoJ21, title = {Formal Approach Based on Petri Nets for Modeling and Verification of Video Games}, author = {Franciny Medeiros Barreto and Stéphane Julia}, year = {2021}, url = {http://www.cai.sk/ojs/index.php/cai/article/view/2021_1_216}, researchr = {https://researchr.org/publication/BarretoJ21}, cites = {0}, citedby = {0}, journal = {Computers and Artificial Intelligence}, volume = {40}, number = {1}, pages = {216-248}, }