Formal Analysis of Proactive, Distributed Routing

Mojgan Kamali, Peter Höfner, Mojgan Kamali, Luigia Petre

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

13 Citations (Scopus)
Original languageUndefined/Unknown
Title of host publicationFormal Methods and Software Engineering, 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
EditorsCalinescu Radu, Rumpe Bernhard
PublisherSpringer
Pages175–189
ISBN (Electronic)978-3-319-22969-0
ISBN (Print)978-3-319-22968-3
DOIs
Publication statusPublished - 2015
MoE publication typeA4 Article in a conference publication
EventInternational Conference on Software Engineering and Formal Methods (SEFM) - 13th International Conference on Software Engineering and Formal Methods (SEFM)
Duration: 7 Sep 201511 Sep 2015

Conference

ConferenceInternational Conference on Software Engineering and Formal Methods (SEFM)
Period07/09/1511/09/15

Cite this