Ioannis Stamelos, C. Halatsis. Efficient test Generation for Register Transfer Level Descriptions. In Fevzi Belli, Winfried Görke, editors, Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems, 3. Internationale GI/ITG/GMA-Fachtagung, Bremerhaven, 9.-11. September 1987, Proceedings. Volume 147 of Informatik-Fachberichte, pages 141-152, Springer, 1987.
Abstract is missing.