× Computer Aided Verification13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedingsherausgegeben von Gerard Berry, Hubert Comon und Alain FinkelMitwirkendeHerausgegeben vonGerard BerryHerausgegeben vonHubert ComonHerausgegeben vonAlain FinkelIncludes supplementary material: sn. pub/extras