- The Cost of Parameterized Reachability in Mobile Ad Hoc Networks Giorgio Delzanno Arnaud Sangnier Riccardo Traverso Gianluigi Zavattaro Tue 18 December 2012
- Parameterized Verification of Safety Properties in Ad Hoc Network Protocols Giorgio Delzanno Arnaud Sangnier Gianluigi Zavattaro Tue 18 December 2012
- Verification of Unreliable Ad Hoc Networks Giorgio Delzanno Arnaud Sangnier Gianluigi Zavattaro Sun 16 December 2012
- Verification of ad hoc networks with node and communication failures Giorgio Delzanno Arnaud Sangnier Gianluigi Zavattaro Sun 16 December 2012
- On the power of cliques in the parameterized verification of Ad Hoc networks Giorgio Delzanno Arnaud Sangnier Gianluigi Zavattaro Sun 16 December 2012
- On the verification of timed ad hoc networks Parosh Aziz Abdulla Giorgio Delzanno Othmane Rezine Arnaud Sangnier Riccardo Traverso Sun 16 December 2012
- Parameterized verification of ad hoc networks Giorgio Delzanno Arnaud Sangnier Gianluigi Zavattaro Sun 16 December 2012
Library Size: 13G (7 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
