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

@article{32166a46d796419a812ac4bdad1cd120,
title = "Implementation verification for a modularized sequential circuit with algebraic specification",
author = "Yuuji Sugiyama",
year = "1993",
language = "English",
pages = "123--127",
journal = "Proc of Pacific Rim Int. Sympo. on Fault Tolerant Computing",

}

TY - JOUR

T1 - Implementation verification for a modularized sequential circuit with algebraic specification

AU - Sugiyama, Yuuji

PY - 1993

Y1 - 1993

M3 - Article

SP - 123

EP - 127

JO - Proc of Pacific Rim Int. Sympo. on Fault Tolerant Computing

JF - Proc of Pacific Rim Int. Sympo. on Fault Tolerant Computing

ER -