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.
@inproceedings{StamelosH87,
title = {Efficient test Generation for Register Transfer Level Descriptions},
author = {Ioannis Stamelos and C. Halatsis},
year = {1987},
tags = {testing, C++},
researchr = {https://researchr.org/publication/StamelosH87},
cites = {0},
citedby = {0},
pages = {141-152},
booktitle = {Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems, 3. Internationale GI/ITG/GMA-Fachtagung, Bremerhaven, 9.-11. September 1987, Proceedings},
editor = {Fevzi Belli and Winfried Görke},
volume = {147},
series = {Informatik-Fachberichte},
publisher = {Springer},
isbn = {3-540-18294-2},
}