Stephen J. Garland
发表
Nancy A. Lynch,
Toh Ne Win,
Michael D. Ernst,
2003,
VMCAI.
Stephen J. Garland,
Thomas E. Kurtz,
1971,
SCOU.
Stephen J. Garland,
James J. Horning,
John V. Guttag,
1990,
IEEE Trans. Software Eng..
Stephen J. Garland,
John V. Guttag,
1990,
Programming Concepts and Methods.
Nancy A. Lynch,
Toh Ne Win,
Michael D. Ernst,
2003,
International Journal on Software Tools for Technology Transfer.
Stephen J. Garland,
James J. Horning,
Jeannette M. Wing,
1993
.
Stephen J. Garland,
Anthony W. Knapp,
R. W. Floyd,
1962,
Commun. ACM.
Stephen J. Garland,
Jørgen Staunstrup,
John V. Guttag,
1992,
TPCD.
Stephen J. Garland,
John V. Guttag,
J. Guttag,
1989,
RTA.
Stephen J. Garland,
James J. Horning,
Jeannette M. Wing,
1993
.
Stephen J. Garland,
David C. Luckham,
1973,
J. Comput. Syst. Sci..
Nancy A. Lynch,
Stephen J. Garland,
N. Lynch,
1997
.
Nancy A. Lynch,
Stephen J. Garland,
Victor Luchangco,
1994,
FORTE.
Stephen J. Garland,
David C. Luckham,
1972
.
Stephen J. Garland,
John V. Guttag,
James B. Saxe,
1992,
Formal Methods Syst. Des..
Stephen J. Garland,
James J. Horning,
Jeannette M. Wing,
1993,
Texts and Monographs in Computer Science.
Stephen J. Garland,
Kevin D. Jones,
James J. Horning,
1993
.
Stephen J. Garland,
Frank H. Young,
David C. Rine,
1986,
CSC '86.
Nancy A. Lynch,
Stephen J. Garland,
Arthur C. Smith,
2010
.
Stephen J. Garland,
1972,
J. Symb. Log..
Stephen J. Garland,
James J. Horning,
Jeannette M. Wing,
1993
.
Stephen J. Garland,
Erik Nygren,
M. F. Kaashoek,
1999,
1999 IEEE Second Conference on Open Architectures and Network Programming. Proceedings. OPENARCH '99 (Cat. No.99EX252).
Peter J. Denning,
Stephen J. Garland,
D. E. Denning,
1976
.
Stephen J. Garland,
Jørgen Staunstrup,
John V. Guttag,
1989,
Automatic Verification Methods for Finite State Systems.
Stephen J. Garland,
Joshua A. Tauber,
2004
.
Stephen J. Garland,
Arthur W. Luehrmann,
1974,
COMG.
Nancy A. Lynch,
Stephen J. Garland,
Victor Luchangco,
1996,
FORTE.
Stephen J. Garland,
1986
.
Nancy A. Lynch,
Stephen J. Garland,
Andrej Bogdanov,
2002,
FORTE.
Nancy A. Lynch,
Stephen J. Garland,
John V. Guttag,
1993,
CAV.
Stephen J. Garland,
Li-Wei H. Lehman,
David L. Tennenhouse,
1998,
Proceedings. IEEE INFOCOM '98, the Conference on Computer Communications. Seventeenth Annual Joint Conference of the IEEE Computer and Communications Societies. Gateway to the 21st Century (Cat. No.98.
Stephen J. Garland,
2005
.
Stephen J. Garland,
John V. Guttag,
J. Guttag,
1988,
CADE.
Stephen J. Garland,
A. Kent Morton,
1979,
SGCS.
Stephen J. Garland,
Katherine A. Yelick,
1992,
CADE.
Nancy A. Lynch,
Stephen J. Garland,
2000
.
Stephen J. Garland,
James J. Horning,
Jeannette M. Wing,
1993
.
Stephen J. Garland,
David C. Luckham,
1972
.
Stephen J. Garland,
James J. Horning,
John V. Guttag,
1993,
Functional Programming, Concurrency, Simulation and Automated Reasoning.
Stephen J. Garland,
John V. Guttag,
J. Guttag,
1988,
POPL '88.
Stephen J. Garland,
James J. Horning,
Jeannette M. Wing,
1993
.
Stephen J. Garland,
David C. Luckham,
1972,
STOC '72.
Stephen J. Garland,
J. Guttag,
S. Garland,
1991
.
Stephen J. Garland,
J. Guttag,
J. Staunstrup,
1988
.
Stephen J. Garland,
J. Saxe,
R. Boyer,
1992
.
Stephen J. Garland,
1969
.
Stephen J. Garland,
Peter Robinson,
Robin Robinson,
1963
.
Mark Handley,
Stephen J. Garland,
Stephen Garland,
2008
.
Stephen J. Garland,
J. Guttag,
1992
.
Stephen J. Garland,
J. Saxe,
R. Boyer,
1992
.
Stephen J. Garland,
Andrej Bogdanov,
Nan y A. Lyn,
2007
.
Stephen J. Garland,
1971,
Journal of Symbolic Logic.