| |
| 2008 | ||
|---|---|---|
| 2 | EE | Sophie Quinton, Susanne Graf: Contract-Based Verification of Hierarchical Systems of Components. SEFM 2008: 377-381 |
| 2007 | ||
| 1 | EE | Susanne Graf, Sophie Quinton: Contracts for BIP: Hierarchical Interaction Models for Compositional Verification. FORTE 2007: 1-18 |
| 1 | Susanne Graf | [1] [2] |