Indra Polak

	1997
3		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

Coauthor Index

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]

Colors in the list of coauthors