Implementation verification for a modularized sequential circuit with algebraic specification

Yuuji Sugiyama

Research output: Contribution to journal › Article

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

Implementation verification for a modularized sequential circuit with algebraic specification. / Sugiyama, Yuuji.

In: Proc of Pacific Rim Int. Sympo. on Fault Tolerant Computing, 1993, p. 123-127.

Research output: Contribution to journal › Article

Sugiyama, Y 1993, 'Implementation verification for a modularized sequential circuit with algebraic specification', Proc of Pacific Rim Int. Sympo. on Fault Tolerant Computing, pp. 123-127.
Sugiyama Y. Implementation verification for a modularized sequential circuit with algebraic specification. Proc of Pacific Rim Int. Sympo. on Fault Tolerant Computing. 1993;123-127.
Sugiyama, Yuuji. / Implementation verification for a modularized sequential circuit with algebraic specification. In: Proc of Pacific Rim Int. Sympo. on Fault Tolerant Computing. 1993 ; pp. 123-127.
@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 -