H. Bowman
发表
Howard Bowman,
John Derrick,
J. Derrick,
1999,
FMOODS.
D. Latella,
H. Bowman,
J. Katoen,
1998
.
Howard Bowman,
Eerke A. Boiten,
John Derrick,
2002,
Formal Methods Syst. Des..
J. Derrick,
H. Bowman,
M. Steen,
1996
.
J. Derrick,
H. Bowman,
Maarten SteenComputing,
1997
.
J Derrick,
J. Derrick,
H. Bowman,
1996
.
Howard Bowman,
John Derrick,
J. Derrick,
2001,
FME 2001.
M. Massink,
H. Bowman,
G. Faconti,
1998
.
Howard Bowman,
H. Bowman,
M. Steen,
1995
.
H. Bowman,
L. Blair,
G. Blair,
2007
.
Howard Bowman,
John Derrick,
Jeremy Bryans,
2000
.
J. Derrick,
H. Bowman,
E. Boiten,
1997
.
Gordon S. Blair,
Howard Bowman,
Lynne Blair,
1994
.
Gordon S. Blair,
Howard Bowman,
Lynne Blair,
1994
.
Gordon S. Blair,
Howard Bowman,
Lynne Blair,
1993
.
Gordon S. Blair,
Howard Bowman,
Lynne Blair,
1994
.
Howard Bowman,
Simon J. Thompson,
Peter R. King,
2003,
Formal Methods Syst. Des..
Howard Bowman,
Lynne Blair,
Gordon S Blair,
1995,
Comput. Commun..
Howard Bowman,
Gordon S. Blair,
Lynne Blair,
1993
.
Howard Bowman,
Eerke A. Boiten,
John Derrick,
1996,
FORTE.
Howard Bowman,
Eerke A. Boiten,
John Derrick,
1999,
AMAST.
Howard Bowman,
Eerke A. Boiten,
John Derrick,
1997,
FORTE.
Randolph W. Hall,
Howard Bowman,
Michael Orosz,
2010
.
Howard Bowman,
John Derrick,
Jeremy Bryans,
2001,
Comput. J..
A Formal Description Technique Supporting Expression of Quality of Service and Media Synchronisation
Gordon S. Blair,
Howard Bowman,
Lynne Blair,
1994,
COST 237 Workshop.
Howard Bowman,
Simon J. Thompson,
S. Thompson,
1998,
TABLEAUX.
Howard Bowman,
Simon J. Thompson,
Nathan Charles,
1998,
Comput. Stand. Interfaces.
Howard Bowman,
Simon J. Thompson,
S. Thompson,
2003,
J. Log. Comput..
Joost-Pieter Katoen,
Howard Bowman,
H. Bowman,
1998,
Proceedings 1998 International Conference on Application of Concurrency to System Design.
Howard Bowman,
John Derrick,
Peter F. Linington,
1995
.
Gordon S. Blair,
Rodger Lea,
Howard Bowman,
1991
.
Howard Bowman,
John Derrick,
C. Briscoe-Smith,
1997
.
Mieke Massink,
Howard Bowman,
Giorgio Faconti,
2001,
FM-Everywhere@FORTE/PSTV.
Howard Bowman,
Giorgio P. Faconti,
H. Bowman,
1999,
Formal Aspects of Computing.
Howard Bowman,
H. Bowman,
1998
.
Howard Bowman,
H. Bowman,
1998,
New Generation Computing.
Howard Bowman,
Eerke A. Boiten,
John Derrick,
1998,
Formal Aspects of Computing.
Howard Bowman,
John Derrick,
J. Derrick,
1997,
ARTS.
Howard Bowman,
Eerke A. Boiten,
John Derrick,
1997,
ZUM.
Howard Bowman,
Eerke Albert Boiten,
John Derrick,
1995
.
Howard Bowman,
Rodolfo Gómez,
H. Bowman,
2007,
FORMATS.
H. Bowman,
Li Su,
2022
.
B. Gebremichael-Tesfagiorgis,
H. Geuvers,
H. Bowman,
2006
.
Howard Bowman,
Eerke A. Boiten,
John Derrick,
2000,
Comput. Networks.
Howard Bowman,
Eerke A. Boiten,
John Derrick,
1997,
FME.
Howard Bowman,
John Derrick,
J. Derrick,
2001,
FME 2001.
Howard Bowman,
John Derrick,
Jeremy Bryans,
2003,
TOCL.
Howard Bowman,
Rodolfo Gómez,
H. Bowman,
2005
.
Howard Bowman,
John Derrick,
Jeremy Bryans,
2000,
ArXiv.
Howard Bowman,
John Derrick,
Maarten W. A. Steen,
1995,
PSTV.
Howard Bowman,
Eerke Albert Boiten,
John Derrick,
1999
.
Howard Bowman,
Eerke A. Boiten,
John Derrick,
1999,
Sci. Comput. Program..
Diego Latella,
Mieke Massink,
Joost-Pieter Katoen,
1998,
Formal Aspects of Computing.