Property decomposition to speed up analysis.

Francesco Calzolari, Mauro Pezz

Browse the full ECRTS paper archive.