Dear Petrinetters,
The model checking contest committees are pleased to announce that
the raw report have been published as a CoRR document. It is
available at the following URL:
http://arxiv.org/abs/1209.2382
We particularly thank the tool submitters who participated. We can
already tell you that a 2013 edition will be organized in Milano.
More information about this information will follow soon.
Best regards.
Fabrice
--
--------------------------------------------------------------------------
Fabrice Kordon Université Pierre & Marie Curie
Tel: +33 1 44 27 88 20 LIP6/MoVe, Bureau 26/25-212
Fax: +33 1 44 27 74 95 4 place Jussieu, 75252 Paris Cedex 05
http://lip6.fr/Fabrice.Kordon/
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
