Web Report on the Model Checking Contest @ Petri Net 2013

Document type :
Other publications
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00926989
Contributor : Benedikt Bollig <>
Submitted on : Wednesday, October 9, 2019 - 6:23:19 PM
Last modification on : Saturday, October 12, 2019 - 1:33:44 AM

File

1309.2485.pdf
Publisher files allowed on an open archive

Identifiers

  • HAL Id : hal-00926989, version 1
  • ARXIV : 1309.2485

Citation

Fabrice Kordon, Alban Linard, Marco Becutti, Didier Buchs, Lukasz Fronc, et al.. Web Report on the Model Checking Contest @ Petri Net 2013. 2013. ⟨hal-00926989⟩

Share

Metrics

Record views

484

Files downloads

3