Formal Analysis of Proactive, Distributed Routing

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

doi:10.1007/978-3-319-22969-0_13

Formal Analysis of Proactive, Distributed Routing

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

Information Technology

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

14 Citations (Scopus)

Original language	Undefined/Unknown
Title of host publication	Formal Methods and Software Engineering, 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Editors	Calinescu Radu, Rumpe Bernhard
Publisher	Springer
Pages	175–189
ISBN (Electronic)	978-3-319-22969-0
ISBN (Print)	978-3-319-22968-3
DOIs	https://doi.org/10.1007/978-3-319-22969-0_13
Publication status	Published - 2015
MoE publication type	A4 Article in a conference publication
Event	International Conference on Software Engineering and Formal Methods (SEFM) - 13th International Conference on Software Engineering and Formal Methods (SEFM) Duration: 7 Sept 2015 → 11 Sept 2015

Conference

Conference	International Conference on Software Engineering and Formal Methods (SEFM)
Period	07/09/15 → 11/09/15

Access to Document

10.1007/978-3-319-22969-0_13

Cite this

@inproceedings{a21f0bf6456e4ba1a21acaa73d5397b8,

title = "Formal Analysis of Proactive, Distributed Routing",

author = "Mojgan Kamali and Peter H{\"o}fner and Mojgan Kamali and Luigia Petre",

year = "2015",

doi = "10.1007/978-3-319-22969-0_13",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-3-319-22968-3",

pages = "175–189",

editor = "Calinescu Radu and Rumpe Bernhard",

booktitle = "Formal Methods and Software Engineering, 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings",

publisher = "Springer",

note = "International Conference on Software Engineering and Formal Methods (SEFM) ; Conference date: 07-09-2015 Through 11-09-2015",

}

Kamali, M, Höfner, P, Kamali, M & Petre, L 2015, Formal Analysis of Proactive, Distributed Routing. in C Radu & R Bernhard (eds), Formal Methods and Software Engineering, 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. Springer, pp. 175–189, International Conference on Software Engineering and Formal Methods (SEFM), 07/09/15. https://doi.org/10.1007/978-3-319-22969-0_13

Formal Analysis of Proactive, Distributed Routing. / Kamali, Mojgan; Höfner, Peter; Kamali, Mojgan et al.
Formal Methods and Software Engineering, 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. ed. / Calinescu Radu; Rumpe Bernhard. Springer, 2015. p. 175–189.

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Formal Analysis of Proactive, Distributed Routing

AU - Kamali, Mojgan

AU - Höfner, Peter

AU - Kamali, Mojgan

AU - Petre, Luigia

PY - 2015

Y1 - 2015

U2 - 10.1007/978-3-319-22969-0_13

DO - 10.1007/978-3-319-22969-0_13

M3 - Konferensbidrag

SN - 978-3-319-22968-3

SP - 175

EP - 189

BT - Formal Methods and Software Engineering, 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

A2 - Radu, Calinescu

A2 - Bernhard, Rumpe

PB - Springer

T2 - International Conference on Software Engineering and Formal Methods (SEFM)

Y2 - 7 September 2015 through 11 September 2015

ER -