Bibtex de la publication

@InProceedings{ QuPa1994.3,
author = {Quéinnec, Philippe and Padiou, Gérard},
title = "{Derivation of fault tolerance properties of distributed algorithms, series ``short paper''}",
booktitle = "{Thirteenth ACM Symposium on Principles of Distributed Computing (PODC94), Los Angeles, }",
year = {1994},
month = {août},
publisher = {},
pages = {},
note = { Dates de conférence : août 1994 1994. Pages de la publication : ?.}
}