You are here: TUCS > PUBLICATIONS > Publication Search > Refining Towards Delay-Insensi...
Refining Towards Delay-Insensitive Circuits in HOL
Rimvydas Ruksenas, Refining Towards Delay-Insensitive Circuits in HOL. TUCS Technical Reports 251, Turku Centre for Computer Science, 1999.
BibTeX entry:
@TECHREPORT{tRuksenas99a,
title = {Refining Towards Delay-Insensitive Circuits in HOL},
author = {Ruksenas, Rimvydas},
number = {251},
series = {TUCS Technical Reports},
publisher = {Turku Centre for Computer Science},
year = {1999},
}