Uppaal vs Event-B for Modelling Optimised Link State Routing

Research output: Book/Journal/Report › Commissioned report › Professional

Original language	Undefined/Unknown
Publisher	Turku Centre for Computer Science (TUCS)
ISBN (Print)	978-952-12-3405-7
Publication status	Published - 2016
MoE publication type	D4 Published development or research report or study

Access to Document

@book{6b60bfed761a4244abc8ac03d89bcc54,

title = "Uppaal vs Event-B for Modelling Optimised Link State Routing",

author = "Mojgan Kamali and Luigia Petre",

note = "TUCS Technical Report No 1158, May 2016",

year = "2016",

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

isbn = "978-952-12-3405-7",

publisher = "Turku Centre for Computer Science (TUCS)",

}