"Modeling and Efficient Verification of Wireless Ad hoc Networks."

Behnaz Yousefi, Fatemeh Ghassemi, Ramtin Khosravi (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics