Verification of Directed Acyclic Ad Hoc Networks.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine

Browse the full FORTE paper archive.