Formal verification for task description languages. A petri net approach

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

ISSN: 1424-8220

Argitalpen urtea: 2019

Alea: 19

Zenbakia: 22

Mota: Artikulua

DOI: 10.3390/S19224965 GOOGLE SCHOLAR lock_openSarbide irekia editor
Datuen iturria: Scopus