F. Corella
发表
F. Corella,
2016
.
F. Corella,
K. Lewison,
2013
.
F. Corella,
K. Lewison,
2013
.
F. Corella,
K. Lewison,
2014
.
Francisco Corella,
F. Corella,
K. Lewison,
2012
.
F. Corella,
K. Lewison,
2009
.
F. Corella,
K. Lewison,
2009
.
Sofiène Tahar,
Xiaoyu Song,
Francisco Corella,
1997,
Formal Hardware Verification.
F. Corella,
K. Lewison,
2011
.
F. Corella,
2020
.
Francisco Corella,
Karen Pomian Lewison,
F. Corella,
2012
.
Francisco Corella,
Karen Pomian Lewison,
F. Corella,
2014
.
Sofiène Tahar,
Xiaoyu Song,
Francisco Corella,
1996,
FMCAD.
Francisco Corella,
Karen Pomian Lewison,
F. Corella,
2012
.
Francisco Corella,
Karen Pomian Lewison,
F. Corella,
2011
.
Andr,
S. Maclane,
F. Corella,
1990
.
Xiaoyu Song,
Francisco Corella,
Eduard Cerny,
1998,
CAV.
Xiaoyu Song,
Francisco Corella,
Eduard Cerny,
1997,
Formal Methods Syst. Des..
Xiaoyu Song,
Francisco Corella,
Eduard Cerny,
1995,
CHARME.
Xiaoyu Song,
Francisco Corella,
Eduard Cerny,
1995,
Proceedings. Fifth Great Lakes Symposium on VLSI.
F. Corella,
1991
.
Francisco Corella,
F. Corella,
2000,
WIESS'00.
Francisco Corella,
Karen Pomian Lewison,
F. Corella,
2014,
2014 IEEE Conference on Communications and Network Security.