Formal Development of NoC Systems in B

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig

Originalspråk	Engelska
Titel på värdpublikation	Selected papers of the 17th nordic workshop on programming theory (NWPT'05)
Förlag	Publishing Association Nordic Journal of Computing
Sidor	127 - 145
Status	Publicerad - 2005
MoE-publikationstyp	B3 Ej refererad artikel i konferenshandlingar

Citera det här

@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",

}