Formal Analysis of Proactive, Distributed Routing
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Mojgan Kamali, Peter Höfner, Maryam Kamali, Luigia Petre
Formal Analysis of Proactive, Distributed Routing
SEFM, 2015.

SEFM 2015
Full names Links ISxN
	author        = "Mojgan Kamali and Peter Höfner and Maryam Kamali and Luigia Petre",
	booktitle     = "{Proceedings of the 13th International Conference on Software Engineering and Formal Methods}",
	doi           = "10.1007/978-3-319-22969-0_13",
	isbn          = "978-3-319-22968-3",
	pages         = "175--189",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Formal Analysis of Proactive, Distributed Routing}",
	volume        = 9276,
	year          = 2015,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.