Olga Kouchnarenko, Arnaud Lanoix. How to Verify and Exploit a Refinement of Component-Based Systems. In Irina Virbitskaite, Andrei Voronkov, editors, Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers. Volume 4378 of Lecture Notes in Computer Science, pages 297-309, Springer, 2006. [doi]
Abstract is missing.