Formal Development of NoC Systems in B

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen

Alkuperäiskieli	Englanti
Otsikko	Selected papers of the 17th nordic workshop on programming theory (NWPT'05)
Kustantaja	Publishing Association Nordic Journal of Computing
Sivut	127 - 145
Tila	Julkaistu - 2005
OKM-julkaisutyyppi	B3 Ei-soviteltu artikkeli konferenssin julkaisusarjassa

Viittausmuodot

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

}