Algorithmic Verification of Invalidation-Based Protocols.

Marco Bozzano, Giorgio Delzanno

Browse the full CAV paper archive.