Miguel Díaz-Cacho Medina
1PUBLICATIONS
1CO-AUTHORS
Get your video featured.
Publish with JoVEGet your video featured.
Publish with JoVE
Publications (1)
Sort by Publication Date:
|Nov 20, 2019
Formal Verification for Task Description Languages. A Petri Net Approach.Joaquín López, Alejandro Santana-Alonso, Miguel Díaz-Cacho Medina
Pageof 1
