by José-Manuel Colom and Serge Haddad
Reference:
Chapter 14 – Introduction to Verification (José-Manuel Colom and Serge Haddad), Chapter in Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. Jaca, Spain, September, 14-22, 1998, Kronos, Zaragoza, 1998.
Bibtex Entry:
@InCollection{Colom1998,
author = {Jos{\'{e}}-Manuel Colom and Serge Haddad},
booktitle = {Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. Jaca, Spain, September, 14-22, 1998},
publisher = {Kronos, Zaragoza},
title = {Chapter 14 – {I}ntroduction to Verification},
year = {1998},
isbn = {Legal deposit: Z-2392-98},
pages = {171--190},
groups = {silarri:6},
keywords = {Petri Net Theory, Petri Net Analysis},
}