Michael Kohlhase

Projects:	OMEGA LISA
Telephone:	+49-681-302-4628
Telefax:	+49-681-302-2235
email:	kohlhase@cs.uni-sb.de
Private page:	http://www.ags.uni-sb.de/~kohlhase/