![]() | ![]() |
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] |