Bibtex de la publication

@InProceedings{ FiMaPaQu2003.4,
author = {Filali, Mamoun and Mauran, Philippe and Padiou, Gérard and Quéinnec, Philippe},
title = "{Set based trees for the validation of a diffusing computation reconstruction algorithm}",
booktitle = "{2nd Int'l Workshop on Refinement of Critical Systems: Methods, Tools and Developments, Turku, Finland, 03/06/2003-06/06/2003}",
year = {2003},
month = {juin},
publisher = {?},
pages = {},
URL = {http://www.esil.univ-mrs.fr/~spc/rcs03/rcs03.html},
note = { Pages de la publication : ???.}
}