G. J. Milne
5 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Contextual Constraints for Design and Verification
B. S. Davie and others (1988) · Springer US
A Model for Hardware Description and Verification
G. J. Milne (1984) · IEEE
A formal basis for the analysis of circuit timing
G. J. Milne (1983) · University of Edinburgh
A simple silicon compiler and its correctness
G. J. Milne (1983) · Proceedings of the 6th International Symposium on Computer Hardware Description Languages, Pittsburgh
A mathematical model of concurrent computation
G. J. Milne (1977)