Philipp Lanchès, Utz G. Baitinger. Eine Umgebung zur Evaluierug paralleler Logiksimulationsverfahren. In Martin Baumann, Reinhard Grebe, editors, Parallele Datenverarbeitung mit dem Transputer, 4. Transputer-Anwender-Treffen TAT 92, Aachen, 22.-23. September 1992. Informatik Aktuell, pages 61-71, Springer, 1992.
Abstract is missing.