Joaquín López, Alejandro Santana-Alonso, Miguel Díaz-Cacho. Formal Verification for Task Description Languages. A Petri Net Approach. Sensors, 19(22):4965, 2019. [doi]
@article{LopezSD19,
title = {Formal Verification for Task Description Languages. A Petri Net Approach},
author = {Joaquín López and Alejandro Santana-Alonso and Miguel Díaz-Cacho},
year = {2019},
doi = {10.3390/s19224965},
url = {https://doi.org/10.3390/s19224965},
researchr = {https://researchr.org/publication/LopezSD19},
cites = {0},
citedby = {0},
journal = {Sensors},
volume = {19},
number = {22},
pages = {4965},
}