- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 2 |      | Jonas Schrieb, Heike Wehrheim, Daniel Wonisch: Three-Valued Spotlight Abstractions. FM 2009: 106-122 |
| 2008 | ||
| 1 | | Björn Metzler, Heike Wehrheim, Daniel Wonisch: Decomposition for Compositional Verification. ICFEM 2008: 105-125 |
| 1 | Björn Metzler | [1] |
| 2 | Jonas Schrieb | [2] |
| 3 | Heike Wehrheim | [1] [2] |