Compositional Analysis for Verification of Parameterized Systems.

Samik Basu, C. R. Ramakrishnan

Browse the full TACAS paper archive.