Verifying the transputer
Authors:
Geoff Barrett
Affiliations:
-
Venue:
NATUG-1 Proceedings of the first conference of the North American Transputer Users Group on Transputer research and applications 1
Year:
1990
Citing
0
Cited
1
Formal methods: Practice and experience
ACM Computing Surveys (CSUR)
Quantified Score
Hi-index
0.00
Visualization
Abstract