Steven M. German

发表

Joseph Y. Halpern, Edmund M. Clarke, Steven M. German, 1983, JACM.
Randal E. Bryant, Miroslav N. Velev, Steven M. German, 1999, CAV.
Steven M. German, David C. Luckham, David P. Helmbold, 1982, AdaTEC '82.
Steven M. German, S. German, 1992, CONCUR.
Edmund M. Clarke, Steven M. German, Xudong Zhao, 1996, Formal Methods Syst. Des..
Ganesh Gopalakrishnan, Steven M. German, Xiaofang Chen, 2007 .
A. Prasad Sistla, Steven M. German, A. P. Sistla, 1992, JACM.
Steven M. German, David C. Luckham, William L. Scherlis, 1979 .
Edmund M. Clarke, Steven M. German, Xudong Zhao, 1996, CAV.
Helmut Veith, Dong Wang, Edmund M. Clarke, 2000, FMCAD.
Joseph Y. Halpern, Edmund M. Clarke, Steven M. German, 1989, Inf. Comput..
Steven M. German, Joerg Walter, Steven Mittermaier, 2004, IBM J. Res. Dev..
Steven M. German, 2011, 2011 Formal Methods in Computer-Aided Design (FMCAD).
A. Prasad Sistla, Steven M. German, A. P. Sistla, 1987, LICS.
Ganesh Gopalakrishnan, Steven M. German, Ritwik Bhattacharya, 2005, CHARME.
Steven M. German, S. German, 1978, POPL.
Steven M. German, 1999, Formal Methods Syst. Des..
Steven M. German, Ben Wegbreit, 1975, IEEE Trans. Software Eng..
Ganesh Gopalakrishnan, Steven M. German, Ritwik Bhattacharya, 2006, SPIN.
Helmut Veith, Edmund M. Clarke, Steven M. German, 2000 .
Steven M. German, S. German, 1996, CSUR.
Joseph Y. Halpern, Edmund M. Clarke, Steven M. German, 1983, Logic of Programs.
Joseph Y. Halpern, Edmund M. Clarke, Steven M. German, 1982, POPL '82.
Steven M. German, Ben Wegbreit, B. Wegbreit, 1975, IEEE Transactions on Software Engineering.
Steven M. German, S. German, 2003, Formal Methods Syst. Des..
Joseph Y. Halpern, Edmund M. Clarke, Steven M. German, 1986, LICS.
Steven M. German, Karl J. Lieberherr, S. German, 1985, Computer.
Steven M. German, 1992, Theor. Comput. Sci..
Steven M. German, 1984, IEEE Transactions on Software Engineering.
Ganesh Gopalakrishnan, Steven M. German, Xiaofang Chen, 2007, Formal Methods in Computer Aided Design (FMCAD'07).