Model Checking Contest @ Petri Nets 2013
Milano, Italy, June 25, 2013
MCC’2013, Open Issues
Last Updated
Apr. 26, 2013


This page reports the open issues identified prior to the presentation of results or during the discussion following this presentation on June 25th, 2013 in Milano.

Organizational Matters

Technical issues