Chapter 14 – Introduction to Verification (bibtex)
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},
}
Powered by bibtexbrowser