Hendrik Ed Brinksma
Original record- Institution
- Universiteit Twente
- Year
- 1988
- Country
- Netherlands
- MGP identifier
- 66011
Dissertation: On the Design of Extended LOTOS; a Specification Language for Open Distributed Systems
Advisors 2
- Christian Anton VissersUniversiteit Twente · 1977
- Giuseppe ScolloUniversiteit Twente · 1993
Students 20
| Name | Institution | Year | Students |
|---|---|---|---|
| Laura Brandán Briones | Universiteit Twente | 2007 | 0 |
| Pedro Ruben D'Argenio | Universiteit Twente | 1999 | 6 |
| Dino Salvo Distefano | Universiteit Twente | 2003 | 0 |
| Henk Eertink | Universiteit Twente | 1994 | 1 |
| Nicolae Goga | Technische Universiteit Eindhoven | 2004 | 0 |
| Lex Heerink | Universiteit Twente | 1998 | 0 |
| Holger Hermanns | Friedrich-Alexander-Universität Erlangen-Nürnberg | 1998 | 13 |
| Pim Kars | Universiteit Twente | 1997 | 0 |
| Harmen Kastenberg | Universiteit Twente | 2008 | 0 |
| Joost-Pieter Katoen | Universiteit Twente | 1996 | 27 |
| Tomas Krilavicius | Universiteit Twente | 2006 | 0 |
| Rom Langerak | Universiteit Twente | 1992 | 2 |
| Gabriele Lenzini | Universiteit Twente | 2005 | 0 |
| Arend Rensink | Universiteit Twente | 1993 | 7 |
| Judi Maria Tirza Romijn | Universiteit Twente | 1999 | 1 |
| Theo Ruys | Universiteit Twente | 2001 | 0 |
| Frederik (Erik) Jan Sluiman | Universiteit Twente | 2002 | 0 |
| Jan Tretmans | Universiteit Twente | 1992 | 5 |
| Machiel van der Bijl | Universiteit Twente | 2011 | 0 |
| Ivan S. Zapreev | Universiteit Twente | 2008 | 0 |