Computer Aided Verification | 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings | ISBN 9783540423454

Computer Aided Verification

13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings

herausgegeben von Gerard Berry, Hubert Comon und Alain Finkel
Mitwirkende
Herausgegeben vonGerard Berry
Herausgegeben vonHubert Comon
Herausgegeben vonAlain Finkel
Buchcover Computer Aided Verification  | EAN 9783540423454 | ISBN 3-540-42345-1 | ISBN 978-3-540-42345-4

Computer Aided Verification

13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings

herausgegeben von Gerard Berry, Hubert Comon und Alain Finkel
Mitwirkende
Herausgegeben vonGerard Berry
Herausgegeben vonHubert Comon
Herausgegeben vonAlain Finkel
Includes supplementary material: sn. pub/extras