R. Kurshan
发表
Robert P. Kurshan,
R. Kurshan,
2014
.
R. Brayton,
A. Sangiovanni-Vincentelli,
S. Malik,
1991
.
Robert P. Kurshan,
S. Aggarwal,
R. Kurshan,
1983,
Protocol Specification, Testing, and Verification.
R. P. Kurshan,
R. Kurshan,
1990
.
David Malah,
R. Kurshan,
D. Malah,
1981
.
Robert P. Kurshan,
David Malah,
R. Kurshan,
1981
.
R. Kurshan,
2021,
Investment Industry Claims Debunked.
R. Kurshan,
K. Fisler,
D. Peled,
2013
.
Edmund M. Clarke,
Robert P. Kurshan,
E. Clarke,
1990
.
Edmund M. Clarke,
Orna Grumberg,
Robert P. Kurshan,
1989,
J. Log. Comput..
R. P. Kurshan,
R. Kurshan,
1994
.
Edmund M. Clarke,
Orna Grumberg,
Robert P. Kurshan,
1989,
J. Log. Comput..
R. P. Kurshan,
Edmund M. Clarke,
Neil Kurshan,
1991
.
Robert P. Kurshan,
S. Aggarwal,
D. Sharma,
1983,
Protocol Specification, Testing, and Verification.
R. Kurshan,
B. Gopinath,
1981
.
Krishan K. Sabnani,
Robert P. Kurshan,
S. Aggarwal,
1983,
Protocol Specification, Testing and Verification.
R. Kurshan,
F. Doucet,
2017,
Formal Methods in System Design.
Orna Grumberg,
Robert P. Kurshan,
R. Kurshan,
2001,
J. Log. Comput..
Robert P. Kurshan,
R. Kurshan,
2018,
Handbook of Model Checking.
Frederic Doucet,
Robert Kurshan,
R. Kurshan,
2017,
Formal Methods Syst. Des..
Robert P. Kurshan,
R. Kurshan,
2008,
25 Years of Model Checking.
Robert P. Kurshan,
Zvi Har'El,
R. Kurshan,
1990,
AT&T Technical Journal.
R. P. Kurshan,
R. Kurshan,
1995
.
Orna Grumberg,
Robert P. Kurshan,
R. Kurshan,
1994,
ICTL.
R. P. Kurshan,
V. E. Bene,
R. Kurshan,
1981
.
R. Kurshan,
B. Gopinath,
1974,
Canadian Journal of Mathematics.
R. Kurshan,
1970
.
R. Kurshan,
1970
.
Leslie Lamport,
Robert P. Kurshan,
L. Lamport,
1993,
CAV.
Ariel Orda,
Robert P. Kurshan,
Michael Merritt,
1993,
Formal Methods Syst. Des..
Fei Xie,
James C. Browne,
Robert P. Kurshan,
2004,
Formal Methods Syst. Des..
Fei Xie,
James C. Browne,
Robert P. Kurshan,
2004,
FASE.
Fei Xie,
James C. Browne,
Robert P. Kurshan,
2003,
FME.
Robert P. Kurshan,
Kenneth L. McMillan,
Nina Amla,
2003,
TACAS.
Doron A. Peled,
Hüsnü Yenigün,
Robert P. Kurshan,
2002,
Formal Methods Syst. Des..
Robert P. Kurshan,
R. Kurshan,
2002,
SARA.
James C. Browne,
Robert P. Kurshan,
Natasha Sharygina,
2001,
FASE.
Sandeep K. Shukla,
Robert P. Kurshan,
Moshe Y. Vardi,
1997,
Formal Methods Syst. Des..
R. P. Kurshan,
R. Kurshan,
2001
.
Kedar S. Namjoshi,
Robert P. Kurshan,
E. Allen Emerson,
2000,
FMCAD.
R. Kurshan,
R.P. Kurshan,
1997,
Proceedings of the 34th Design Automation Conference.
Ariel Orda,
Robert P. Kurshan,
Michael Merritt,
1995,
Formal Methods Syst. Des..
Robert P. Kurshan,
R. Kurshan,
1994,
STOC '94.
Rajeev Alur,
Mihalis Yannakakis,
Robert P. Kurshan,
1992,
Inf. Comput..
Kedar S. Namjoshi,
Robert P. Kurshan,
K. Namjoshi,
2000,
CAV.
Robert P. Kurshan,
Orna Kupferman,
Moshe Y. Vardi,
2001,
CAV.
Rajeev Alur,
Robert P. Kurshan,
R. Alur,
1996,
Hybrid Systems.
Edmund M. Clarke,
Robert P. Kurshan,
Anca Browne,
1993,
Inf. Process. Lett..
Edmund M. Clarke,
Robert P. Kurshan,
Anca Browne,
1990,
CAAP.
Robert P. Kurshan,
M. Kemal Inan,
R. Kurshan,
2000,
NATO ASI Series.
Zoltán Füredi,
Robert P. Kurshan,
Z. Füredi,
2004,
Theor. Comput. Sci..
Kedar S. Namjoshi,
Robert P. Kurshan,
K. Namjoshi,
1999,
CAV.
Robert P. Kurshan,
R. Kurshan,
1987,
J. Comput. Syst. Sci..
Hüsnü Yenigün,
Robert P. Kurshan,
Vladimir Levin,
2002,
CAV.
Doron A. Peled,
Hüsnü Yenigün,
Robert P. Kurshan,
1998,
TACAS.
Robert P. Kurshan,
R. Kurshan,
1989,
REX Workshop.
R. P. Kurshan,
B. Gopinath,
L. H. Brandenburg,
1972
.
Kedar S. Namjoshi,
Robert P. Kurshan,
E. Allen Emerson,
2001,
CAV.
Robert P. Kurshan,
Kenneth L. McMillan,
Nina Amla,
2005,
CHARME.
R. P. Kurshan,
R. Kurshan,
1988
.
R. Kurshan,
2021,
Investment Industry Claims Debunked.
Robert P. Kurshan,
Kenneth L. McMillan,
K. McMillan,
1989,
PODC.
R. P. Kurshan,
R. Kurshan,
1994,
CAV.
Helmut Veith,
Edmund M. Clarke,
Robert P. Kurshan,
2010,
Essays in Memory of Amir Pnueli.
R. Kurshan,
V. Levin,
N. Sharygina,
2004,
Formal Methods Syst. Des..
Robert P. Kurshan,
S. Aggarwal,
R. Kurshan,
1984,
Protocol Specification, Testing and Verification.
Robert K. Brayton,
Robert P. Kurshan,
Ramin Hojati,
1993,
CAV.
T. Cormen,
R. Kurshan,
Combinatorial,
1996
.
Edmund M. Clarke,
Jeannette M. Wing,
E. Clarke,
1996
.
Mahesh Viswanathan,
Rajeev Alur,
Robert P. Kurshan,
1998,
Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).