"Modeling and efficient verification of wireless ad hoc networks."

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