@inproceedings{3fc399c37dd245788fbb8857e4d0072d,
title = "Adaptive Formal Framework for WMN Routing Protocols",
author = "Mojgan Kamali and Ansgar Fehnker",
year = "2018",
month = oct,
day = "10",
doi = "10.1007/978-3-030-02146-7_9",
language = "English",
isbn = "978-3-030-02145-0",
series = "Lecture notes in computer science",
pages = "175--195",
booktitle = "Formal Aspects of Component Software",
note = "15th International Conference on Formal Aspects of Component Software 2018, FACS 2018 ; Conference date: 10-10-2018 Through 12-10-2018",
}