fond
Model Checking Contest @ Petri Nets 2013
Milano, Italy, June 25, 2013
MCC�2013, Results for Surprise Models
Last Updated
Apr. 26, 2013

Introduction

This page summarizes the results of the MCC'2013 @ Petri Nets. You will find:

Result Summary per Examination

Scores of Participating Tools per Examination