Modelling Link State Routing in Event-B

A4 Conference proceedings


Internal Authors/Editors


Publication Details

List of Authors: Mojgan Kamali, Luigia Petre
Editors: Wang Hai, Mokhtari Mounir
Publisher: IEEE Conference Publishing Services
Publication year: 2016
Publisher: IEEE
Book title: Engineering of Complex Computer Systems (ICECCS), 2016 21st International Conference on
Start page: 207
End page: 210
ISBN: 978-1-5090-5526-5
eISBN: 978-1-5090-5527-2

Last updated on 2019-25-08 at 08:04