| |
| 1997 | ||
|---|---|---|
| 3 | EE | Paul G. Lucassen, Indra Polak, Jan Tijmen Udding: Normal Form in DI-Algebra with Recursion. ASYNC 1997: 167-174 |
| 1995 | ||
| 2 | Rix Groenboom, Chris Hendriks, Indra Polak, Jan Terlouw, Jan Tijmen Udding: Algebraic Proof Assistants in HOL. MPC 1995: 304-321 | |
| 1994 | ||
| 1 | Doeko Bosscher, Indra Polak, Frits W. Vaandrager: Verification of an Audio Control Protocol. FTRTFT 1994: 170-192 | |
| 1 | Doeko Bosscher | [1] |
| 2 | Rix Groenboom | [2] |
| 3 | Chris Hendriks | [2] |
| 4 | Paul G. Lucassen | [3] |
| 5 | Jan Terlouw | [2] |
| 6 | Jan Tijmen Udding | [2] [3] |
| 7 | Frits W. Vaandrager | [1] |