- Record: found
- Abstract: not found
- Book Chapter: not found
Transactions on Petri Nets and Other Models of Concurrency XI
MCC’2015 – The Fifth Model Checking Contest
other
Fabrice Kordon ,
Hubert Garavel ,
Lom Messan Hillah ,
Emmanuel Paviot-Adet ,
Loïg Jezequel ,
César Rodríguez ,
Francis Hulin-Hubard
September 02 2016
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references4
- Record: found
- Abstract: not found
- Article: not found
CADP 2011: a toolbox for the construction and analysis of distributed processes
Hubert Garavel, Frédéric Lang, Radu Mateescu … (2013)
- Record: found
- Abstract: not found
- Article: not found
Complexity results for 1-safe nets
Javier Esparza, Jens Palsberg, Allan Cheng (1995)
- Record: found
- Abstract: not found
- Book Chapter: not found
Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets
Hubert Garavel (2015)