30 citations · 62 across the 6 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…