Graham M. Birtwistle
发表
Brian T. Graham,
Graham M. Birtwistle,
1989,
Hardware Specification, Verification and Synthesis.
Graham M. Birtwistle,
1994
.
Graham M. Birtwistle,
Paul Luker,
G. Birtwistle,
1982,
WSC.
Brian Wyvill,
John G. Cleary,
Reddy Vatti,
1986,
Comput. Graph. Forum.
Graham M. Birtwistle,
Chris M. N. Tofts,
C. Tofts,
2001,
Simul. Pract. Theory.
Kenneth S. Stevens,
Graham M. Birtwistle,
John Aldwinckle,
1993
.
Kenneth S. Stevens,
Graham M. Birtwistle,
K. Stevens,
2014,
HOWARD-60.
Graham M. Birtwistle,
G. Birtwistle,
1981,
WSC '81.
Graham M. Birtwistle,
Chris M. N. Tofts,
1998,
TOMC.
Ken Barker,
Graham M. Birtwistle,
1982,
Winter Simulation Conference.
Graham M. Birtwistle,
Chris Tofts,
P. Demos,
1993
.
Graham M. Birtwistle,
G. Birtwistle,
1979,
Springer New York.
Graham M. Birtwistle,
Chris M. N. Tofts,
C. Tofts,
1997,
Simul. Pract. Theory.
Graham M. Birtwistle,
Shiu-Kai Chin,
Shiu-Kai Chin,
1991,
1991., International Workshop on the HOL Theorem Proving System and Its Applications.
Graham M. Birtwistle,
1998,
ESM.
Graham M. Birtwistle,
Kenneth D. Loose,
1988,
SIGP.
Brian Wyvill,
Ian H. Witten,
Radford M. Neal,
1983,
OPSR.
Kenneth S. Stevens,
Graham M. Birtwistle,
2014,
2014 20th IEEE International Symposium on Asynchronous Circuits and Systems.
Graham M. Birtwistle,
1985,
SIGP.
Graham M. Birtwistle,
G. Birtwistle,
1981,
WSC '81.
Faron Moller,
Graham M. Birtwistle,
F. Moller,
1996,
Lecture Notes in Computer Science.
Graham M. Birtwistle,
G. Birtwistle,
1981,
WSC '81.
Kenneth S. Stevens,
Graham M. Birtwistle,
Santosh N. Varanasi,
2010,
2010 IEEE Symposium on Asynchronous Circuits and Systems.
Brian T. Graham,
Graham M. Birtwistle,
Todd Simpson,
1993,
Softw. Eng. J..
Kenneth S. Stevens,
Graham M. Birtwistle,
2008,
2008 14th IEEE International Symposium on Asynchronous Circuits and Systems.
Graham M. Birtwistle,
Chris Tofts,
C. Tofts,
1997
.
Graham M. Birtwistle,
Chris M. N. Tofts,
2001,
Simul. Pract. Theory.