Comments on "Algorithmic state machine design and automatic theorem proving: dual approaches to the same activity
-
Published:1989-06
Issue:6
Volume:38
Page:880-881
-
ISSN:0018-9340
-
Container-title:IEEE Transactions on Computers
-
language:
-
Short-container-title:IEEE Trans. Comput.
Author:
Vroomen L.,Zsombor-Murray P.,Baracos P.,Hudson R.
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Computational Theory and Mathematics,Hardware and Architecture,Theoretical Computer Science,Software