Index of ftp://ftp.cs.york.ac.uk/pub/catano/publications

[DIR] Parent Directory

[TXT] benchmark.pdf  365.82Kb  August 13 2006
[ ] chase.bib  518.00b  August 13 2006
[TXT] chase.pdf  158.69Kb  August 13 2006
[ ] deliverable_5_2.bib  366.00b  August 13 2006
[TXT] evspace.pdf  201.27Kb  August 13 2006
[ ] fm_smart.bib  312.00b  August 13 2006
[TXT] fm_smart.pdf  240.73Kb  August 13 2006
[TXT] hash_ver.pdf  138.80Kb  August 13 2006
[ ] modcheckbenchmark.bib  437.00b  August 13 2006
[ ] purse-spec.bib  461.00b  August 13 2006
[TXT] purse-spec.pdf  143.76Kb  August 13 2006
[ ] rapport.bib  340.00b  August 13 2006
[TXT] rapport.pdf  997.12Kb  August 13 2006
[ ] slicing.bib  482.00b  August 13 2006
[ ] slicinginpvs.bib  537.00b  August 13 2006
[ ] stage_main.bib  232.00b  August 13 2006
[TXT] stage_main.pdf  349.23Kb  August 13 2006
[ ] symbmodcheck.bib  315.00b  August 13 2006
[ ] symbolic.bib  232.00b  August 13 2006
[TXT] symbolic.pdf  161.40Kb  August 13 2006
[TXT] tphol_ncc.pdf  184.18Kb  August 13 2006