Publication
-
January 2006
-
January 2006
-
Modere: the model-checking engine of Rebeca In Proceedings
January 2006 -
Interaction and Coordination of Tools for Structured Data In Proceedings
January 2006 -
January 2006
-
January 2006
-
January 2006
-
Cream of Science Article
ERCIM News, 75-76.January 2006