R. Cleaveland
发表
Rance Cleaveland,
Bernhard Steffen,
R. Cleaveland,
1993,
Formal Methods Syst. Des..
Rance Cleaveland,
V. Natarajan,
R. Cleaveland,
1995,
ICALP.
Rance Cleaveland,
V. Natarajan,
Gerald Lüttgen,
1996,
Theor. Comput. Sci..
Rance Cleaveland,
Steve Sims,
R. Cleaveland,
1996,
CAV.
R. Cleaveland,
1996
.
Rance Cleaveland,
Steve Sims,
V. Natarajan,
1996,
Softw. Concepts Tools.
Rance Cleaveland,
R. Cleaveland,
1990,
Acta Informatica.
Rance Cleaveland,
Robert L. Constable,
Prakash Panangaden,
1986
.
R. Cleaveland,
M. Hennessy,
2005
.
R. Cleaveland,
G. Bhat,
1995
.
Girish Bhat,
R. Cleaveland,
G. Bhat,
2005
.
R. Cleaveland,
R. Cleaveland,
Gerald Lüttgen,
2007
.
R. Cleaveland,
1999
.
R. Cleaveland,
B. Sengupta,
Bikram Sengupta,
2006,
IEEE Transactions on Software Engineering.
Rance Cleaveland,
Daniel Jackson,
R. Cleaveland,
2004,
Automated Software Engineering.
Rance Cleaveland,
Steven T. Sims,
R. Cleaveland,
1997
.
Rance Cleaveland,
R. Cleaveland,
1992
.
Rance Cleaveland,
Bernhard Steffen,
Joachim Parrow,
1989,
PSTV.
Rance Cleaveland,
R. Cleaveland,
1999
.
Rance Cleaveland,
Andre N. Fredette,
R. Cleaveland,
1993
.
Rance Cleaveland,
Daniel Yankelevich,
S. P Iyer,
1994
.
Rance Cleaveland,
Matthew Hennessy,
R. Cleaveland,
1988,
[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
R. Cleaveland,
G. Luettgen,
1996
.
Rance Cleaveland,
Bernhard Steffen,
Bernhard Steffen,
1993,
Formal Methods Syst. Des..
Rance Cleaveland,
Gerald Lüttgen,
V. Natarajan,
2001,
Handbook of Process Algebra.
Rance Cleaveland,
Michael Mendler,
Gerald Lüttgen,
1997,
CONCUR.
R. Cleaveland,
R. CLEAVELAND,
2008
.
Rance Cleaveland,
Matthew Hennessy,
R. Cleaveland,
1989,
Formal Aspects of Computing.
R. Cleaveland,
Purush Iyer,
Murali Narasimha,
2000
.
Rance Cleaveland,
S. Purushothaman Iyer,
Murali Narasimha,
1998,
Monterey Workshop.
Rance Cleaveland,
Bernhard Steffen,
Joachim Parrow,
1993,
TOPL.
Rance Cleaveland,
R. Cleaveland,
1990,
CAV.
Rance Cleaveland,
Bernhard Steffen,
R. Cleaveland,
1990,
CONCUR.
Rance Cleaveland,
S. Purushothaman Iyer,
Daniel Yankelevich,
1995,
SAS.
Rance Cleaveland,
Tiziana Margaria,
Bernhard Steffen,
1997,
International Journal on Software Tools for Technology Transfer.
Rance Cleaveland,
Bernhard Steffen,
R. Cleaveland,
1991,
ICALP.
Rance Cleaveland,
Bernhard Steffen,
Joachim Parrow,
1990,
Automatic Verification Methods for Finite State Systems.
Rance Cleaveland,
R. Cleaveland,
1990,
CAV.
Rance Cleaveland,
Steve Sims,
Eric Madelaine,
1995,
TACAS.
Rance Cleaveland,
V. Natarajan,
R. Cleaveland,
1996,
17th IEEE Real-Time Systems Symposium.
Rance Cleaveland,
John W. Baugh,
Wael M. Elseaidy,
1996,
Engineering with Computers.
Rance Cleaveland,
Gerald Lüttgen,
R. Cleaveland,
2002,
EXPRESS.
Rance Cleaveland,
Gerald Lüttgen,
R. Cleaveland,
2000,
FSTTCS.
Girish Bhat,
Rance Cleaveland,
R. Cleaveland,
1996,
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Girish Bhat,
Rance Cleaveland,
R. Cleaveland,
1996,
TACAS.
Girish Bhat,
Rance Cleaveland,
Orna Grumberg,
1995,
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
Rance Cleaveland,
James Riely,
R. Cleaveland,
1994,
CONCUR.
R. Cleaveland,
B. Steffen,
R. Cleaveland,
1990,
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
Rance Cleaveland,
Ufuk Celikkan,
R. Cleaveland,
1992,
PSTV.
Rance Cleaveland,
V. Natarajan,
Ivan Christoff,
1994,
Inf. Comput..
Rance Cleaveland,
Steve Sims,
V. Natarajan,
1996,
TACAS.
Rance Cleaveland,
Daniel Yankelevich,
R. Cleaveland,
1994,
POPL '94.
Rance Cleaveland,
Matthew Hennessy,
R. Cleaveland,
1988,
[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
Rance Cleaveland,
John W. Baugh,
Wael M. Elseaidy,
1997,
Sci. Comput. Program..
Rance Cleaveland,
V. Natarajan,
R. Cleaveland,
1996,
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Rance Cleaveland,
Ufuk Celikkan,
R. Cleaveland,
1992,
Distributed Computing.
Rance Cleaveland,
Prakash Panangaden,
P. Panangaden,
1988,
International Journal of Parallel Programming.
Jan A. Bergstra,
Jos C. M. Baeten,
Scott A. Smolka,
1992
.
Douglas J. Howe,
Todd B. Knoblock,
James T. Sasaki,
1986
.
Rance Cleaveland,
R. Cleaveland,
R. Cleaveland,
1999,
International Journal on Software Tools for Technology Transfer.
Rance Cleaveland,
Andre N. Fredette,
R. Cleaveland,
1993,
1993 Proceedings Real-Time Systems Symposium.
Rance Cleaveland,
Tiziana Margaria,
Bernhard Steffen,
1995
.
R. Cleaveland,
Girish Bhat,
Alex Groce,
2001
.
Rance Cleaveland,
Bernhard Steffen,
Marion Klein,
1992,
CAV.
Rance Cleaveland,
R. Cleaveland,
1993,
Functional Programming, Concurrency, Simulation and Automated Reasoning.