Frank A. Stomp
发表
Milos Besta,
Frank A. Stomp,
F. Stomp,
2006,
11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06).
Frank S. de Boer,
M. van Hulst,
Nissim Francez,
1998,
PROCOMET.
Willem P. de Roever,
Frank A. Stomp,
Maty Sylla,
2005,
10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05).
Frank A. Stomp,
F. Stomp,
1992,
CONCUR.
Michael Siegel,
Frank A. Stomp,
1994,
FSTTCS.
Willem P. de Roever,
Frank A. Stomp,
W. P. Roever,
1987,
ICDCS.
Gadi Taubenfeld,
Frank A. Stomp,
1999,
IEEE Trans. Parallel Distributed Syst..
Gadi Taubenfeld,
Frank A. Stomp,
G. Taubenfeld,
1996,
PODC '96.
Frank A. Stomp,
Shlomi Dolev,
2001
.
Shlomi Dolev,
Frank A. Stomp,
2003,
Distributed Computing.
Frank A. Stomp,
1993,
[1993] The 2nd Israel Symposium on Theory and Computing Systems.
Amy P. Felty,
Ramesh Bharadwaj,
Frank A. Stomp,
1995,
ASIAN.
Willem P. de Roever,
Frank A. Stomp,
Rob Gerth,
1989,
Inf. Comput..
Amy P. Felty,
Douglas J. Howe,
Frank A. Stomp,
1998
.
Frank A. Stomp,
M. Besta,
2006
.
Frank A. Stomp,
1992
.
Frank A. Stomp,
2003,
Theor. Comput. Sci..
Amy P. Felty,
Frank A. Stomp,
A. Felty,
1999,
Formal Aspects of Computing.
Willem P. de Roever,
Frank A. Stomp,
W. P. Roever,
1994,
Formal Aspects of Computing.
Shlomi Dolev,
Frank A. Stomp,
S. Dolev,
2001,
Proceedings 5th International Symposium on Autonomous Decentralized Systems.
Amy P. Felty,
Frank A. Stomp,
A. Felty,
1996,
Proceedings of 11th Annual Conference on Computer Assurance. COMPASS '96.
Amy P. Felty,
Douglas J. Howe,
Frank A. Stomp,
1998,
CAV.
Gadi Taubenfeld,
Frank A. Stomp,
1996,
PODC 1996.
Willem P. de Roever,
Frank A. Stomp,
W. P. Roever,
1989,
WDAG.
Willem P. de Roever,
Yassine Lakhnech,
Job Zwiers,
1996,
FME.
Frank A. Stomp,
1990,
PSTV.
Milos Besta,
Frank A. Stomp,
2002,
Eighth IEEE International Conference on Engineering of Complex Computer Systems, 2002. Proceedings..
Milos Besta,
Frank A. Stomp,
F. Stomp,
2005,
Formal Methods Syst. Des..
Frank A. Stomp,
W. P. de Roever,
Rob Gerth,
1989
.