Modelling Link State Routing in Event-B

Mojgan Kamali, Luigia Petre

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

6 Citations (Scopus)

Original language	Undefined/Unknown
Title of host publication	Engineering of Complex Computer Systems (ICECCS), 2016 21st International Conference on
Editors	Wang Hai, Mokhtari Mounir
Publisher	IEEE
Pages	207–210
ISBN (Electronic)	978-1-5090-5527-2
ISBN (Print)	978-1-5090-5526-5
DOIs	https://doi.org/10.1109/ICECCS.2016.035
Publication status	Published - 2016
MoE publication type	A4 Article in a conference publication
Event	International Conference on Engineering of Complex Computer Systems (ICECCS) - 21st International Conference on Engineering of Complex Computer Systems (ICECCS) Duration: 6 Nov 2016 → 8 Nov 2016

Conference	International Conference on Engineering of Complex Computer Systems (ICECCS)
Period	06/11/16 → 08/11/16

Access to Document

@inproceedings{0a482ee27b8f45759d27856cbd75c1a5,

title = "Modelling Link State Routing in Event-B",

author = "Mojgan Kamali and Luigia Petre",

year = "2016",

doi = "10.1109/ICECCS.2016.035",

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

isbn = "978-1-5090-5526-5",

pages = "207–210",

editor = "Wang Hai and Mokhtari Mounir",

booktitle = "Engineering of Complex Computer Systems (ICECCS), 2016 21st International Conference on",

publisher = "IEEE",

note = "International Conference on Engineering of Complex Computer Systems (ICECCS) ; Conference date: 06-11-2016 Through 08-11-2016",

}

TY - GEN

T1 - Modelling Link State Routing in Event-B

AU - Kamali, Mojgan

AU - Petre, Luigia

PY - 2016

Y1 - 2016

U2 - 10.1109/ICECCS.2016.035

DO - 10.1109/ICECCS.2016.035

M3 - Konferensbidrag

SN - 978-1-5090-5526-5

SP - 207

EP - 210

BT - Engineering of Complex Computer Systems (ICECCS), 2016 21st International Conference on

A2 - Hai, Wang

A2 - Mounir, Mokhtari

PB - IEEE

T2 - International Conference on Engineering of Complex Computer Systems (ICECCS)

Y2 - 6 November 2016 through 8 November 2016

ER -