Je suis fier de vous annoncer une nouvelle publication au lRDE :
R. Lassaigne and S. Peyronnet. Probabilistic verification and
approximation. In the proc. of the 12th Workshop on Logic, Language,
Information and Computation (Wollic 05). Electronic Notes in Theoretical
Computer Science. Florianapolis, brazil. July 2005
Cordialement,
Sylvain Peyronnet
