Dono Van-Mierop, Leo Marcus, Steve Crocker. Verification of the FTSC microprogram. In Stephen D. Crocker, Gearold Johnson, Alice Parker, John Ashlstrom, editors, Proceedings of the 11th annual workshop on Microprogramming, MICRO 1978, Asilomar (Pacific Grove), California, USA, November 19-22, 1978. pages 118, ACM, 1978. [doi]
@inproceedings{Van-MieropMC78,
title = {Verification of the FTSC microprogram},
author = {Dono Van-Mierop and Leo Marcus and Steve Crocker},
year = {1978},
url = {http://dl.acm.org/citation.cfm?id=804319},
researchr = {https://researchr.org/publication/Van-MieropMC78},
cites = {0},
citedby = {0},
pages = {118},
booktitle = {Proceedings of the 11th annual workshop on Microprogramming, MICRO 1978, Asilomar (Pacific Grove), California, USA, November 19-22, 1978},
editor = {Stephen D. Crocker and Gearold Johnson and Alice Parker and John Ashlstrom},
publisher = {ACM},
}