Bibtex de la publication

@InProceedings{ FiMaPaQuTh2000.1,
author = {Filali, Mamoun and Mauran, Philippe and Padiou, Gérard and Quéinnec, Philippe and Thirioux, Xavier},
title = "{Refinement based validation of a distributed termination detection algorithm}",
booktitle = "{International Workshop FMPPTA'2000, Cancun, 05/05/2000}",
year = {2000},
month = {mai},
pages = {},
keywords = {distributed algorithm, proof, Unity, PVS},
note = { Pages de la publication : ..}
}