| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| 3 |      | Patrick Bahr, Tom Hvitved: Parametric Compositional Data Types MSFP 2012: 3-24 |
| 2 | | Tom Hvitved, Felix Klaedtke, Eugen Zalinescu: A trace-based model for multiparty contracts. J. Log. Algebr. Program. 81(2): 72-98 (2012) |
| 2009 | ||
| 1 | | Anders Starcke Henriksen, Tom Hvitved, Andrzej Filinski: A Game-Theoretic Model for Distributed Programming by Contract. GI Jahrestagung 2009: 3473-3484 |
| 1 | Patrick Bahr | [3] |
| 2 | Andrzej Filinski | [1] |
| 3 | Anders Starcke Henriksen | [1] |
| 4 | Felix Klaedtke | [2] |
| 5 | Eugen Zalinescu | [2] |
Colors in the list of coauthors
Last update Thu May 31 18:55:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page