Julian C. Bradfield
发表
Colin Stirling,
Julian C. Bradfield,
2007
.
Julian Gutierrez,
Julian C. Bradfield,
Julian Bradfield,
2009,
Inf. Comput..
Colin Stirling,
Julian C. Bradfield,
2001
.
Stephan Kreutzer,
Julian C. Bradfield,
Julian Bradfield,
2005,
CSL.
Javier Esparza,
Angelika Mader,
Julian C. Bradfield,
1996,
ICALP.
Julian C. Bradfield,
2002,
Lecture Notes in Computer Science.
Julian C. Bradfield,
1992
.
Julian C. Bradfield,
2017
.
Julian C. Bradfield,
1998,
STACS.
Perdita Stevens,
Juliana Küster Filipe Bowles,
Julian C. Bradfield,
2002,
FASE.
Colin Stirling,
Julian C. Bradfield,
C. Stirling,
1990,
CONCUR.
Julian C. Bradfield,
Julian Bradfield,
1998,
Theor. Comput. Sci..
Sibylle B. Fröschle,
Julian C. Bradfield,
Julian Bradfield,
2002,
Nord. J. Comput..
Faron Moller,
Julian C. Bradfield,
2004,
INFINITY.
Julian C. Bradfield,
1992,
CAV.
Julian Gutierrez,
Julian C. Bradfield,
Michael Wooldridge,
2016,
Synthese.
Julian C. Bradfield,
1995,
Lecture Notes in Computer Science.
Colin Stirling,
Julian C. Bradfield,
C. Stirling,
2007,
Handbook of Modal Logic.
Julian C. Bradfield,
2018
.
Julian C. Bradfield,
Julian Bradfield,
2003,
CSL.
Perdita Stevens,
Julian C. Bradfield,
1999
.
Julian C. Bradfield,
1992
.
Julian C. Bradfield,
Jacques Duparc,
Sandra Quickert,
2005,
CSL.
Colin Stirling,
Julian C. Bradfield,
2001,
Handbook of Process Algebra.
Julian C. Bradfield,
1998,
Theor. Comput. Sci..
Julian C. Bradfield,
2003,
RAIRO Theor. Informatics Appl..
Igor Walukiewicz,
Julian C. Bradfield,
Julian Bradfield,
2018,
Handbook of Model Checking.
Perdita Stevens,
Julian C. Bradfield,
2012,
FASE.
Julian C. Bradfield,
1992
.
Julian C. Bradfield,
Julian Bradfield,
2000,
CSL.
Julian C. Bradfield,
1991
.
Julian Gutierrez,
Julian C. Bradfield,
2009,
CONCUR.
Julian C. Bradfield,
Simon Kramer,
Julian Bradfield,
2010,
Journal in Computer Virology.
Colin Stirling,
Julian C. Bradfield,
1992,
Theor. Comput. Sci..
Julian C. Bradfield,
1992
.
Perdita Stevens,
Julian C. Bradfield,
2013,
FASE.
Julian C. Bradfield,
1990,
Applications and Theory of Petri Nets.
Julian C. Bradfield,
1996,
STACS.
Julian C. Bradfield,
2002,
CONCUR.
Julian C. Bradfield,
1999,
CSL.
Julian C. Bradfield,
Julian Bradfield,
2013,
CSL.
Julian C. Bradfield,
1999,
RAIRO Theor. Informatics Appl..
Perdita Stevens,
Julian C. Bradfield,
Juliana Küster Filipe,
2016,
Lecture Notes in Computer Science.
Sibylle B. Fröschle,
Julian C. Bradfield,
2001,
EXPRESS.
Julian C. Bradfield,
Julian Bradfield,
1998
.