Bibtex de la publication

@InProceedings{ FiMaPaQu2003.3,
author = {Filali, Mamoun and Mauran, Philippe and Padiou, Gérard and Quéinnec, Philippe},
title = "{The Reconstruction of a Mobile Agent Computation and its Validation}",
booktitle = "{Int'l Workshop on Formal Methods for Parallel Programming: Theory and Applications (FMPPTA2003), NICE, 22/04/2003-26/04/2003}",
year = {2003},
month = {avril},
publisher = {IEEE},
pages = {},
URL = {http://www.esil.univ-mrs.fr/~spc/rcs03/papers/filali&al.ps},
note = { Pages de la publication : (web).}
}