9 citations · 23 across the 8 of their papers we have counts for
1 paper · 1 filter
Fabrice Kordon, Alban Linard, Marco Beccuti +14
This document presents the results of the Model Checking Contest held at Petri Nets 2013 in Milano. This contest aimed at a fair and experimental evaluation of the performances of…