Compositional Verification of Infinite State Systems.

Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo

Browse the full ICLP paper archive.