Adilson Luiz Bonifácio, Arnaldo Vieira Moura. Conformance Checking and Pushdown Reactive Systems. CLEI Electron. J., 25(3), March 2023. [doi]
@article{BonifacioM23,
title = {Conformance Checking and Pushdown Reactive Systems},
author = {Adilson Luiz Bonifácio and Arnaldo Vieira Moura},
year = {2023},
month = {March},
doi = {10.19153/cleiej.25.3.2},
url = {https://doi.org/10.19153/cleiej.25.3.2},
researchr = {https://researchr.org/publication/BonifacioM23},
cites = {0},
citedby = {0},
journal = {CLEI Electron. J.},
volume = {25},
number = {3},
}