Hauptmenü öffnen
Forschungsportal |
Über das Portal
Publications
Projects
Talks
Awards
Doctorates
Habilitations
Persons
Organisations
DE
|
EN
Towards Formally-Based Design of Message-Passing Programs
Gorlatch S
Research article (journal)
| Peer reviewed
Details about the publication
Journal:
IEEE Transactions on Software Engineering
Volume:
26
Page range:
276-288
Status:
Published
Release year:
2000
Language in which the publication is written:
English
Authors from the University of Münster
Gorlatch
,
Sergei
Professur für Praktische Informatik (Prof. Gorlatch)