Skip to Main content Skip to Navigation
Other publications

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 : Tuesday, July 7, 2020 - 11:50:23 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

576

Files downloads

112