Uwe Glässer. Ein regelbasiertes System zur Testbarkeitsanalyse hierarchisch aufgebauter Schaltungsentwürfe. In Winfried Görke, Holger Sörensen, editors, Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems, Automatisierungssysteme, Methoden, Anwendungen / Automation Systems, Methods, Applications; 4. Internationale GI/ITG/GMA-Fachtagung, Baden-Baden, 20.-22. September 1989, Proceedings. Volume 214 of Informatik-Fachberichte, pages 334-342, Springer, 1989.
Abstract is missing.