- CSB - MetaPress - Google - Bing - Yahoo
 | 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 |  | 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] |