George J. Milne
发表
George J. Milne,
G. Milne,
1980
.
George J. Milne,
1982,
ICDCS.
George J. Milne,
Oliver Diessel,
2000,
FPL.
George J. Milne,
Graham Budd,
1996,
COMPCON '96. Technologies for the Information Superhighway Digest of Papers.
George J. Milne,
Simon Xie,
2019
.
Integrating the verification of timing, performance and correctness properties of concurrent systems
George J. Milne,
Antonio Cerone,
David A. Kearney,
1998,
Proceedings 1998 International Conference on Application of Concurrency to System Design.
George J. Milne,
Antonio Cerone,
Alex J. Cowie,
1997,
HART.
George J. Milne,
Gordon Russell,
Alex Cowie,
1994
.
George J. Milne,
Antonio Cerone,
2005,
Innovations in Systems and Software Engineering.
George J. Milne,
G. Milne,
1984,
21st Design Automation Conference Proceedings.
George J. Milne,
B. K. Gunther,
J. Zhu,
1999
.
George J. Milne,
1986
.
George J. Milne,
Andrew M. Bailey,
George Alexander McCaskill,
1994,
Formal Methods Syst. Des..
George J. Milne,
G. Milne,
1985,
TOPL.
George J. Milne,
T. J. Lightfoot,
G. Milne,
2003
.
George J. Milne,
Antonio Cerone,
2000,
FMCAD.
George J. Milne,
Paul Cockshott,
1991
.
George J. Milne,
Oliver Diessel,
2000,
IPDPS Workshops.
George J. Milne,
1994
.
George J. Milne,
G. Milne,
1989,
Hardware Specification, Verification and Synthesis.
George J. Milne,
2006,
Electron. Notes Theor. Comput. Sci..
George J. Milne,
1983,
The Analysis of Concurrent Systems.
George J. Milne,
W. Paul Cockshott,
Peter Barrie,
1992,
Microprocess. Microsystems.
George J. Milne,
Antonio Cerone,
Alex J. Cowie,
1997,
AMAST.
George J. Milne,
G. Milne,
1983,
Integr..
George J. Milne,
G. Milne,
1997,
Proceedings Fourth International Conference on High-Performance Computing.
George J. Milne,
Laurence Pierre,
1993
.
George J. Milne,
Wenbo Mao,
G. Milne,
1991,
CAV.
George J. Milne,
Antonio Cerone,
G. Milne,
1997,
AMAST.
George J. Milne,
Antonio Cerone,
2000
.
George J. Milne,
Laurence Pierre,
G. Milne,
2003,
Lecture Notes in Computer Science.
George J. Milne,
G. Milne,
1991,
IEEE Trans. Computers.
George J. Milne,
Jihan Zhu,
2000,
FPL.
George J. Milne,
Peter Barrie,
Paul Cockshott,
1992
.
George J. Milne,
Antonio Cerone,
1999
.
George J. Milne,
Gordon Russell,
Alex Cowie,
1995
.
George J. Milne,
1999,
Proceedings of the First NASA/DoD Workshop on Evolvable Hardware.
George J. Milne,
Bruce S. Davie,
1988
.
George J. Milne,
1988
.
George J. Milne,
1977
.