| |
| 2008 | ||
|---|---|---|
| 2 | Yuen Man Hon, Jan-Tecker Gayen, Hans-Dieter Ehrich: OOLH: A Formal Framework for Specifying System Requirements. SIGSAND-EUROPE 2008: 75-78 | |
| 2007 | ||
| 1 | EE | Maik Kollmann, Yuen Man Hon: Generating Scenarios by Multi-Object Checking. Electr. Notes Theor. Comput. Sci. 190(2): 61-72 (2007) |
| 1 | Hans-Dieter Ehrich | [2] |
| 2 | Jan-Tecker Gayen | [2] |
| 3 | Maik Kollmann | [1] |