Brian T. Graham
发表
Brian T. Graham,
Graham M. Birtwistle,
1989,
Hardware Specification, Verification and Synthesis.
Brian T. Graham,
1992
.
Brian T. Graham,
1992
.
Brian T. Graham,
1994,
TPHOLs.
Brian T. Graham,
1992
.
Graham Birtwistle,
Brian T. Graham,
Todd Simpson,
1989
.
Brian T. Graham,
1990
.
Brian T. Graham,
1992
.
Brian T. Graham,
1992
.
Simon W. Moore,
Brian T. Graham,
S. Moore,
1995,
Comput. J..
Brian T. Graham,
B. Graham,
1992
.
Brian T. Graham,
1992
.
Graham Birtwistle,
Brian T. Graham,
Todd Simpson,
1992
.
Brian T. Graham,
Graham M. Birtwistle,
Todd Simpson,
1993,
Softw. Eng. J..
Graham Birtwistle,
Brian T. Graham,
Todd Simpson,
1989
.