Formal representation and proof of the interpreted sequential machine model
1985 ◽
Vol 58
(1)
◽
pp. 151-157
◽
Keyword(s):
2013 ◽
Keyword(s):
Keyword(s):