Formal Development of NoC Systems in B

Leonidas Tsiopoulos, Marina Walden

Research output: Chapter in Book/Conference proceeding › Published conference proceeding › Scientific

Original language	English
Title of host publication	Selected papers of the 17th nordic workshop on programming theory (NWPT'05)
Publisher	Publishing Association Nordic Journal of Computing
Pages	127 - 145
Publication status	Published - 2005
MoE publication type	B3 Non-refereed article in conference proceedings

Cite this

@inproceedings{2f7f24ac8e534ac8840cf61c7114d888,

title = "Formal Development of NoC Systems in B",

author = "Leonidas Tsiopoulos and Marina Walden",

year = "2005",

language = "English",

pages = "127 -- 145",

booktitle = "Selected papers of the 17th nordic workshop on programming theory (NWPT'05)",

publisher = "Publishing Association Nordic Journal of Computing",

}