S. Blom
发表
S. Blom,
2001
.
A. Rensink,
S. Blom,
G. Kant,
2010
.
J. V. D. Pol,
Michael Weber,
S. Blom,
2010
.
Z. M. Ariola,
S. Blom,
2005
.
Z. M. Ariola,
S. Blom,
2005
.
J. Simonsen,
J. Ketema,
S. Blom,
2009
.
Wan Fokkink,
Stefan Blom,
Sumit Nain,
2003,
ICALP.
Alfons Laarman,
Jaco van de Pol,
Stefan Blom,
2015,
TACAS.
Stefan Blom,
Izak van Langevelde,
Bert Lisser,
2003,
PDMC@CAV.
Jaco van de Pol,
Stefan Blom,
Jeroen Meijer,
2014,
Haifa Verification Conference.
Jaco van de Pol,
Stefan Blom,
Michael Weber,
2009
.
Marieke Huisman,
Stefan Blom,
Saeed Darabi,
2017,
IFM.
Marieke Huisman,
Stefan Blom,
Afshin Amighi,
2018,
MeTRiD@ETAPS.
Marieke Huisman,
Stefan Blom,
Afshin Amighi,
2016,
2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP).
Stefan Blom,
Zena M. Ariola,
Z. M. Ariola,
2002,
Ann. Pure Appl. Log..
Stefan Blom,
Zena M. Ariola,
Z. M. Ariola,
1997,
TACS.
Stefan Blom,
S. Blom,
1995,
HOA.
Marieke Huisman,
Stefan Blom,
M. Huisman,
2014,
FM.
Jaco van de Pol,
Stefan Blom,
Michael Weber,
2010
.
Jaco van de Pol,
Stefan Blom,
S. Blom,
2002,
CAV.
Marieke Huisman,
Stefan Blom,
Marina Zaharieva-Stojanovski,
2015,
SEFM.
Jan Friso Groote,
Wan Fokkink,
Jaco van de Pol,
2001,
CAV.
Marieke Huisman,
Stefan Blom,
M. Huisman,
2013,
International Journal on Software Tools for Technology Transfer.
Simona Orzan,
Stefan Blom,
S. Blom,
2002,
PDMC@CONCUR.
Jaco van de Pol,
Stefan Blom,
Michael Weber,
2008,
J. Log. Comput..
Stefan Blom,
S. Blom,
2001
.
Marieke Huisman,
Stefan Blom,
Matej Mihelcic,
2013,
Sci. Comput. Program..
Jaco van de Pol,
Stefan Blom,
S. Blom,
2008,
ICTAC.