Parameterized Verification of Ad Hoc Networks.

Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro

Browse the full CONCUR paper archive.