Computer aided verification 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings
CAV (Conference) (13th 2001 Paris) Hubert Comon; Gérard Berry 1948-; A Finkel
Berlin Springer 2001
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2102 ) e outros locais(Acessar)