| 2008 | ||
|---|---|---|
| 2 | Colin Atkinson, Daniel Brenner, Giovanni Falcone, Monika Juhasz: Specifying High-Assurance Services. IEEE Computer 41(8): 64-71 (2008) | |
| 2007 | ||
| 1 | Colin Atkinson, Philipp Bostan, Daniel Brenner, Giovanni Falcone, Matthias Gutheil, Oliver Hummel, Monika Juhasz, Dietmar Stoll: Modeling Components and Component-Based Systems in KobrA. CoCoME 2007: 54-84 | |
| 1 | Colin Atkinson | [1] [2] |
| 2 | Philipp Bostan | [1] |
| 3 | Daniel Brenner | [1] [2] |
| 4 | Giovanni Falcone | [1] [2] |
| 5 | Matthias Gutheil | [1] |
| 6 | Oliver Hummel | [1] |
| 7 | Dietmar Stoll | [1] |