22 Nov
2005
22 Nov
'05
1:50 p.m.
J'avais oublié de dire que la publi journal suivante a été accepté :
Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet
and Michel de Rougemont. Probabilistic abstraction for model checking:
An approach based on property testing. accepted to ACM TOCL.
Voili voilo
S.