Formal verification for task description languages. A petri net approach

  1. López, J.
  2. Santana-Alonso, A.
  3. Medina, M.D.-C.
Revista:
Sensors (Switzerland)

ISSN: 1424-8220

Año de publicación: 2019

Volumen: 19

Número: 22

Tipo: Artículo

DOI: 10.3390/S19224965 GOOGLE SCHOLAR lock_openAcceso abierto editor
Fuente de los datos: Scopus