Formal Analysis of Proactive, Distributed Routing

A4 Conference proceedings


Internal Authors/Editors


Publication Details

List of Authors: Mojgan Kamali, Peter Höfner, Maryam Kamali, Luigia Petre
Editors: Calinescu Radu, Rumpe Bernhard
Publisher: Springer
Publication year: 2015
Journal: Lecture Notes in Computer Science
Publisher: Springer
Book title: Formal Methods and Software Engineering, 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Title of series: Lecture Notes in Computer Science
Number in series: 9276
Start page: 175
End page: 189
ISBN: 978-3-319-22968-3
eISBN: 978-3-319-22969-0
ISSN: 0302-9743

Last updated on 2019-20-08 at 05:44