Conference item icon

Conference item

Formal methods in the development of the H1 Transputer

Actions


Authors


A.W. Roscoe More by this author
A.D.B. Cox More by this author
M.H. Goldsmith More by this author
J.B. Scattergood More by this author
Publisher:
IOS
Publication date:
1991
URN:
uuid:0c150e51-9f3e-44a7-be20-7c354067da52
Local pid:
cs:980

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP