Formal Model-Driven Design of Distributed Algorithms

Morten Kühnrich

Research output: Contribution to journal › Journal article › Research › peer-review

1 Citation (Scopus)

Original language	English
Journal	Electronical notes in theoretical computer science
Volume	251
Issue number	C
Pages (from-to)	49-64
ISSN	1571-0661
DOIs	https://doi.org/10.1016/j.entcs.2009.08.027
Publication status	Published - 2009

Access to Document

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

}