C. Delamare, Yvon Gardan, Patrice Moreaux. Verification of CORBA systems with composition of Well Formed Nets. In Alain Bui, Hacène Fouchal, editors, Procedings of the 6th International Conference on Principles of Distributed Systems. OPODIS 2002, Reims, France, December 11-13, 2002. Volume 3 of Studia Informatica Universalis, pages 149-158, Suger, Saint-Denis, rue Catulienne, France, 2002.
Abstract is missing.