On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks.

Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro

Browse the full FOSSACS paper archive.