Formal verification for task description languages. A petri net approach

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

ISSN: 1424-8220

Year of publication: 2019

Volume: 19

Issue: 22

Type: Article

DOI: 10.3390/S19224965 GOOGLE SCHOLAR lock_openOpen access editor
Data source: Scopus