Algabraic Specification of Sequential Circuit with an Unfixed Number of Modules and Its Verification

Yuuji Sugiyama

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)594-603
Number of pages10
JournalThe Transactions of IEICE
VolumeJ76-D-I
Issue number11
Publication statusPublished - 1993

Cite this