Indra Polak

Publication Activity (10 Years)

Years Active: 1994-1997
Publications (10 Years): 0

Publications

Paul G. Lucassen, Indra Polak, Jan Tijmen Udding
Normal Form in DI-Algebra with Recursion. ASYNC (1997)
Rix Groenboom, Chris Hendriks, Indra Polak, Jan Terlouw, Jan Tijmen Udding
Algebraic Proof Assistants in HOL. MPC (1995)
Doeko Bosscher, Indra Polak, Frits W. Vaandrager
Verification of an Audio Control Protocol. FTRTFT (1994)