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.
@inproceedings{CharpentierFMG99,
title = {Modelling and Verifying Migration: A case study},
author = {Michel Charpentier and Mamoun Filali and Philippe Mauran and Gérard Padiou and Philippe Quéinnec},
year = {1999},
tags = {case study, migration},
researchr = {https://researchr.org/publication/CharpentierFMG99},
cites = {0},
citedby = {0},
pages = {149-164},
booktitle = {Procedings of the 3rd International Conference on Principles of Distributed Systems. OPODIS 99, Hanoi, Vietnam, October 20-22, 1999},
editor = {Franck Petit and R. Gomez Cardenas},
series = {Studia Informatica Universalis},
publisher = {Suger, Saint-Denis, rue Catulienne, France},
isbn = {2-912590-10-8},
}