Bibtex de la publication

@InProceedings{ ChFiMaPaQu1999.4,
author = {Charpentier, Michel and Filali, Mamoun and Mauran, Philippe and Padiou, Gérard and Quéinnec, Philippe},
title = "{Modelling and Verifying Mobility : A Case Study}",
booktitle = "{3rd Int'l Conf. On Principles Of DIstributed Systems, Hanoi, Vietnam, }",
year = {1999},
month = {octobre},
publisher = {OPODIS},
pages = {151--166},
keywords = {mobilité Unity exclusion mutuelle},
note = { Dates de conférence : octobre 1999 1999.}
}