The Use of SI-Algebra in the Design of Sequencer Circuits

Mark B. Josephs, Andrew M. Bailey. The Use of SI-Algebra in the Design of Sequencer Circuits. Formal Asp. Comput., 9(4):395-408, 1997.

Authors

Mark B. Josephs

This author has not been identified. Look up 'Mark B. Josephs' in Google

Andrew M. Bailey

This author has not been identified. Look up 'Andrew M. Bailey' in Google