Verification of Ad Hoc Networks with Node and Communication Failures.

Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro

Browse the full FORTE paper archive.