![](/img/cover-not-exists.png)
Algorithmic State Machine Design and Automatic Theorem Proving: Two Dual Approaches to the Same Activity
Snyers, D., Thayse, A.Volume:
C-35
Year:
1986
Language:
english
Pages:
9
DOI:
10.1109/tc.1986.1676676
File:
PDF, 2.42 MB
english, 1986