Where academic tradition
meets the exciting future

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},
}

Edit publication