scientific article; zbMATH DE number 4035144

MaRDI QIDQ3774945zbMATH OpenFDO

Authors A. A. Skorupski

Publication date 1986

zbMATH Keywords

sequential machinestime diagram

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 177240
• A generalized algorithm for constructing checking sequences
• Clock conversion in sequential machines and the synthesis of relay networks
• scientific article; zbMATH DE number 177500
• Computer-aided design and programming

Cited in

(2)

• scientific article; zbMATH DE number 1670618 (Why is no real title available?)
• Correct Hardware Design and Verification Methods

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3774945)