Per Bjesse
发表
Per Bjesse,
Arne Borälv,
Arne Borälv,
2004,
IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004..
Per Bjesse,
Tim Leonard,
Abdelillah Mokkedem,
2001,
CAV.
Per Bjesse,
Per Bjesse,
2001
.
Parosh Aziz Abdulla,
Per Bjesse,
Niklas Eén,
2000,
TACAS.
Mary Sheeran,
Koen Claessen,
Satnam Singh,
1998,
ICFP '98.
Per Bjesse,
Byron Cook,
Ziyad Hanna,
2003,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Koen Claessen,
Per Bjesse,
K. Claessen,
2000,
FMCAD.
Per Bjesse,
James H. Kukula,
Robert F. Damiano,
2003,
SAT.
M. Sheeran,
Satnam Singh,
K. Claessen,
1998,
ICFP '98.
Per Bjesse,
James H. Kukula,
J. Kukula,
2005,
ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005..