dblp.uni-trier.dewww.uni-trier.de

Indra Polak

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

1Doeko Bosscher [1]
2Rix Groenboom [2]
3Chris Hendriks [2]
4Paul G. Lucassen [3]
5Jan Terlouw [2]
6Jan Tijmen Udding [2] [3]
7Frits W. Vaandrager [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)