Bibtex de la publication

@InProceedings{ ChFiMaPaQu1996.3,
author = {Charpentier, Michel and Filali, Mamoun and Mauran, Philippe and Padiou, Gérard and Quéinnec, Philippe},
title = "{Abstracting Communication to Reason about Distributed Algorithms}",
booktitle = "{Proc. of the 10th Intl Workshop on Distributed Algorithms (WDAG'96), -, }",
year = {1996},
month = {octobre},
publisher = {Springer-Verlag, LNCS 1151},
pages = {},
note = { Dates de conférence : octobre 1996 1996. Pages de la publication : ?.}
}