@inproceedings{Kamali_HKP_15, address = {York, UK}, author = {Kamali, Mojgan and H\"ofner, Peter and Kamali, Maryam and Petre, Luigia}, booktitle = {Software Engineering and Formal Methods}, month = sep, pages = {15}, paperurl = {https://trustworthy.systems/publications/nicta_full_text/8831.pdf}, title = {Formal Analysis of Proactive, Distributed Routing}, year = {2015} }