dear Petri-Netters,
This is just an email to let you know that you have yet 17 days to submit your
tool for the Model Checking Contest @ Petri net in Bruxelles.
Please find on the web site all the available informations:
http://mcc.lip6.fr
And more specifically, the information about the submission itself:
http://mcc.lip6.fr/cft.php
Best regards.
Fabrice
--------------------------------------------------------------------------------------
Fabrice Kordon
Université Pierre & Marie Curie
LIP6/MoVe, Bureau 26/25-212
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] ]]
