John Schumann
发表
Klaus-Dieter Schubert,
Avi Ziv,
Bishop Brock,
2011
.
Pia Sanda,
Prabhakar Kudva,
John Schumann,
2008,
2008 IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN).
Prabhakar Kudva,
Ronald N. Kalla,
John Schumann,
2008,
IBM J. Res. Dev..
Allon Adir,
Avi Ziv,
Gil Shurek,
2011,
2011 Design, Automation & Test in Europe.
Prabhakar Kudva,
John Schumann,
Pia N. Sanda,
2007
.
Klaus-Dieter Schubert,
Amir Nahir,
L. S. Leitner,
2015,
IBM J. Res. Dev..
Allon Adir,
Avi Ziv,
Amir Nahir,
2010,
Haifa Verification Conference.
Allon Adir,
Avi Ziv,
Gil Shurek,
2011,
2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC).
John D. Wilkins,
Aaron C. James,
Rodney W. Kelly,
2003
.