Sava Krstic
发表
Cesare Tinelli,
Amit Goel,
Sava Krstic,
2009,
CADE.
Jin Yang,
Sava Krstic,
David W. Palmer,
2014,
2014 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST).
Cesare Tinelli,
Amit Goel,
Sava Krstic,
2013,
CADE.
Sylvain Conchon,
Fatiha Zaïdi,
Amit Goel,
2013,
2013 Formal Methods in Computer-Aided Design.
Sylvain Conchon,
Sava Krstic,
2006,
Theor. Comput. Sci..
John Matthews,
Sava Krstic,
John Matthews,
2004,
PPDP '04.
Dusko Pavlovic,
John Launchbury,
Sava Krstic,
2001,
FoSSaCS.
Cesare Tinelli,
Amit Goel,
Sava Krstic,
2013,
CAV.
Sylvain Conchon,
Sava Krstic,
S. Krstic,
2003,
Theor. Comput. Sci..
Sylvain Conchon,
Sava Krstic,
S. Krstic,
2005,
Inf. Comput..
John Matthews,
Sava Krstic,
John Matthews,
2003,
TPHOLs.
Jordi Cortadella,
Michael Kishinevsky,
John O'Leary,
2006,
2006 Formal Methods in Computer Aided Design.
Sava Krstic,
Mauricio Gutierrez,
S. Krstic,
1998,
Int. J. Algebra Comput..
John O'Leary,
Sava Krstic,
Robert B. Jones,
2007,
PDPAR/PaUL@FLoC.
John Matthews,
Sava Krstic,
2002,
VMCAI.
Amit Goel,
Sava Krstic,
A. Goel,
2007,
FroCoS.
Rupak Majumdar,
Sylvain Conchon,
Amit Goel,
2017,
2017 Formal Methods in Computer Aided Design (FMCAD).
Cesare Tinelli,
Jim Grundy,
Alexander Fuchs,
2009,
TACAS.
Sylvain Conchon,
Fatiha Zaïdi,
Amit Goel,
2012,
CAV.
John Launchbury,
Sava Krstic,
T. E. Sauerwein,
2013,
Festschrift for Dave Schmidt.
Jordi Cortadella,
Sava Krstic,
Bill Grundmann,
2006,
CSR.
Cesare Tinelli,
Jim Grundy,
Amit Goel,
2007,
TACAS.
Jim Grundy,
Sava Krstic,
Thomas F. Melham,
2006,
Electron. Notes Theor. Comput. Sci..
Sylvain Conchon,
Sava Krstic,
S. Krstic,
2005,
Inf. Comput..
Mark R. Tuttle,
Amit Goel,
Sava Krstic,
2012,
SMT@IJCAR.
Albert Oliveras,
Sava Krstic,
2008,
Electron. Notes Theor. Comput. Sci..