Relevant Papers

$next$ $up$ $previous$ $contents$
Next: Case Studies Up: Scientific Output from Previous: Scientific Output from

During the period April 1994 -- March 1995, the group at LMU Munich contributed work on Case Studies and Foundations.

Bernhard Moeller
Fri May 12 14:21:20 MET DST 1995