Formal Model-Driven Design of Distributed Algorithms

Morten Kühnrich

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

1 Citationer (Scopus)

Originalsprog	Engelsk
Tidsskrift	Electronical notes in theoretical computer science
Vol/bind	251
Udgave nummer	C
Sider (fra-til)	49-64
ISSN	1571-0661
DOI	https://doi.org/10.1016/j.entcs.2009.08.027
Status	Udgivet - 2009

Adgang til dokumentet

@article{924aadf0303211dfaeaf000ea68e967b,

title = "Formal Model-Driven Design of Distributed Algorithms",

author = "Morten K{\"u}hnrich",

year = "2009",

doi = "10.1016/j.entcs.2009.08.027",

language = "English",

volume = "251",

pages = "49--64",

journal = "Electronical notes in theoretical computer science",

issn = "1571-0661",

publisher = "Elsevier",

number = "C",

}