Formal verification for task description languages. A petri net approach
- López, J.
- Santana-Alonso, A.
- Medina, M.D.-C.
Revue:
Sensors (Switzerland)
ISSN: 1424-8220
Année de publication: 2019
Volumen: 19
Número: 22
Type: Article
