Bibtex de la publication

@Article{ ChFiMaPaQu1999.6,
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}",
journal = {Studia Informatica},
year = {1999},
volume = {special issue},
pages = {151--166}
}