Implementation verification for a modularized sequential circuit with algebraic specification

Yuuji Sugiyama

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)123-127
Number of pages5
JournalProc of Pacific Rim Int. Sympo. on Fault Tolerant Computing
Publication statusPublished - 1993

Cite this