S. German
发表
Ganesh Gopalakrishnan,
Steven M. German,
Ritwik Bhattacharya,
2006,
SPIN.
Ritwik Bhattacharya,
S. German,
2003
.
S. German,
2022
.
Joseph Y. Halpern,
Edmund M. Clarke,
Steven M. German,
1983,
JACM.
Joseph Y. Halpern,
Edmund M. Clarke,
Steven M. German,
1986,
LICS.
Joseph Y. Halpern,
Edmund M. Clarke,
Steven M. German,
1983,
Logic of Programs.
Helmut Veith,
Edmund M. Clarke,
Steven M. German,
2000
.
A. Prasad Sistla,
Steven M. German,
A. P. Sistla,
1987,
LICS.
Steven M. German,
S. German,
1992,
CONCUR.
Steven M. German,
Ben Wegbreit,
B. Wegbreit,
1975,
IEEE Transactions on Software Engineering.
A. Prasad Sistla,
Steven M. German,
A. P. Sistla,
1992,
JACM.
Joseph Y. Halpern,
Edmund M. Clarke,
Steven M. German,
1989,
Inf. Comput..
Pradip Bose,
Daniel J. Sorin,
Geert Janssen,
2009,
2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design.
Steven M. German,
S. German,
2003,
Formal Methods Syst. Des..
Helmut Veith,
Dong Wang,
Edmund M. Clarke,
2000,
FMCAD.
Steven M. German,
S. German,
1996,
CSUR.
Joseph Y. Halpern,
Edmund M. Clarke,
Steven M. German,
1982,
POPL '82.
Ganesh Gopalakrishnan,
Steven M. German,
Ritwik Bhattacharya,
2005,
CHARME.
Edmund M. Clarke,
Steven M. German,
Xudong Zhao,
1996,
Formal Methods Syst. Des..
Steven M. German,
Karl J. Lieberherr,
S. German,
1985,
Computer.
D. Helmbold,
D. Luckham,
S. German,
1982,
AdaTEC Conference on Ada.
Ganesh Gopalakrishnan,
Steven M. German,
Xiaofang Chen,
2007,
Formal Methods in Computer Aided Design (FMCAD'07).
Steven M. German,
S. German,
1978,
POPL.
Randal E. Bryant,
Miroslav N. Velev,
Steven M. German,
1999,
TOCL.
Randal E. Bryant,
Miroslav N. Velev,
Steven M. German,
1999,
TABLEAUX.
Steven M. German,
David C. Luckham,
William L. Scherlis,
1979
.