9 citations · 23 across the 8 of their papers we have counts for
1 paper · 1 filter
F. Kordon, A. Linard, D. Buchs +11
This article presents the results of the Model Checking Contest held at Petri Nets 2012 in Hambourg. This contest aimed at a fair and experimental evaluation of the performances of…