Modelling and Verifying Migration: A case study

Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec. Modelling and Verifying Migration: A case study. In Franck Petit, R. Gomez Cardenas, editors, Procedings of the 3rd International Conference on Principles of Distributed Systems. OPODIS 99, Hanoi, Vietnam, October 20-22, 1999. Studia Informatica Universalis, pages 149-164, Suger, Saint-Denis, rue Catulienne, France, 1999.

Authors

Michel Charpentier

This author has not been identified. Look up 'Michel Charpentier' in Google

Mamoun Filali

This author has not been identified. It may be one of the following persons: Look up 'Mamoun Filali' in Google

Philippe Mauran

This author has not been identified. Look up 'Philippe Mauran' in Google

Gérard Padiou

This author has not been identified. Look up 'Gérard Padiou' in Google

Philippe Quéinnec

This author has not been identified. Look up 'Philippe Quéinnec' in Google