An automata-theoretic approach to behavioral equivalence

This publication has 3 references indexed in Scilit:

• On the verification of sequential machines at differing levels of abstraction
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1988
• An Abstract Model of Behavior for Hardware Descriptions
  IEEE Transactions on Computers, 1983
• Infinite sequences and finite machines
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1963