Transformation and logic compilation of specifications of self-timed circuits

Moscow

191 pp.

Transformation and logic compilation of specifications of self-timed circuits — Yakker, Vadim Mikhaylovich — 1993 — Russian Dissertation Library