| |
| 2007 | ||
|---|---|---|
| 3 | EE | Martin de Groot: Integrating Formal Methods with System Management. ICFEM 2007: 19-36 |
| 1997 | ||
| 2 | Martin de Groot, Ken Robinson: Modular Refinement and Model Building. AMAST 1997: 155-169 | |
| 1995 | ||
| 1 | Martin de Groot: Fault diagnosis in computer networks. Integrated Network Management 1995: 707 | |
| 1 | Ken Robinson (Kenneth Arthur Robinson) | [2] |