Formal verification for task description languages. A petri net approach
- López, J.
- Santana-Alonso, A.
- Medina, M.D.-C.
Revista:
Sensors (Switzerland)
ISSN: 1424-8220
Any de publicació: 2019
Volum: 19
Número: 22
Tipus: Article