E. Vink
发表
J. Bakker,
E. Vink,
1998
.
M. Beek,
E. Vink,
M. T. Beek,
2014,
FormaliSE 2014.
Erik P. de Vink,
Cas J. F. Cremers,
Sjouke Mauw,
2006,
Theor. Comput. Sci..
L. Bortolussi,
E. Vink,
J. Hillston,
2013,
SFM.
Erik P. de Vink,
Ana Sokolova,
Harald Woracek,
2005,
CTCS.
Erik P. de Vink,
Ana Sokolova,
Harald Woracek,
2004
.
A. Sokolova,
H. Woracek,
E. Vink,
2009
.
A. Sokolova,
H. Woracek,
E. Vink,
1985,
Sci. Ann. Comput. Sci..
F. S. Boer,
E. Vink,
Keyvan Azadbakht,
2018
.
Erik Poll,
Martijn Warnier,
Sjouke Mauw,
2002
.
Erik P. de Vink,
Wiebe van der Hoek,
Michael Wooldridge,
2006,
Electron. Notes Theor. Comput. Sci..
J. F. Groote,
E. Vink,
Jan Martens,
2022,
ArXiv.
Alessio Lomuscio,
Wiebe van der Hoek,
E.d. Vink,
2005
.
Erik P. de Vink,
Wiebe van der Hoek,
Michael Wooldridge,
2004,
LCMAS.
Erik P. de Vink,
Jos C. M. Baeten,
E. Vink,
2002,
J. Log. Algebraic Methods Program..
D. Latella,
M. Massink,
E. Vink,
2023,
ArXiv.
Erik P. de Vink,
Dragan Bosnacki,
Tessa E. Pronk,
2009,
Trans. Comp. Sys. Biology.
Erik P. de Vink,
Christian Krause,
Carola Krause,
2010,
CMSB '10.
Herbert Wiklicky,
Marco Bernardo,
A. Di Pierro,
2013,
Lecture Notes in Computer Science.
Erik P. de Vink,
Jan Friso Groote,
J. F. Groote,
2017,
ModelEd, TestEd, TrustEd.
Erik P. de Vink,
Jan Friso Groote,
J. F. Groote,
2019,
From Software Engineering to Formal Methods and Tools, and Back.
Erik P. de Vink,
Jan Friso Groote,
J. F. Groote,
2018,
Algorithms.
Erik P. de Vink,
Diego Latella,
Mieke Massink,
2015,
QAPL.
Erik P. de Vink,
Ana Sokolova,
Harald Woracek,
2009,
Sci. Ann. Comput. Sci..
Erik P. de Vink,
Jasen Markovski,
E. Vink,
2007,
Seventh International Conference on Application of Concurrency to System Design (ACSD 2007).
Erik P. de Vink,
Jasen Markovski,
E. Vink,
2006,
EPEW.
Erik P. de Vink,
Ana Sokolova,
A. Sokolova,
2004,
Validation of Stochastic Systems.
Erik P. de Vink,
Ana Sokolova,
Falk Bartels,
2003,
CMCS.
Erik P. de Vink,
Jerry den Hartog,
J. W. de Bakker,
2001,
MFCSIT.
Jerry den Hartog,
E. Vink,
J. D. Hartog,
1999,
Int. J. Found. Comput. Sci..
Erik P. de Vink,
Jerry den Hartog,
E. Vink,
1998,
PROBMIV.
Erik P. de Vink,
Jan J. M. M. Rutten,
J. Rutten,
1997,
Theor. Comput. Sci..
Erik P. de Vink,
Vincent van Oostrom,
E. Vink,
1994,
STACS.
Erik P. de Vink,
Sjouke Mauw,
Jan Verschuren,
2007,
VODCA@FOSAD.
Erik P. de Vink,
Jerry den Hartog,
J. W. de Bakker,
1999,
Fundam. Informaticae.
Erik P. de Vink,
Marcello M. Bonsangue,
Joost N. Kok,
1995,
CONCUR.
Erik P. de Vink,
J. W. de Bakker,
J. Bakker,
1996
.
Erik P. de Vink,
Anton Eliëns,
E. Vink,
1992,
REX Workshop.
Erik P. de Vink,
Arie de Bruin,
E. Vink,
1990,
MFCS.
A. de Bruin,
E. P. de Vink,
E. Vink,
1990
.
Erik P. de Vink,
E. Vink,
1990,
Sci. Comput. Program..
Erik P. de Vink,
Arie de Bruin,
E. Vink,
1989,
TAPSOFT, Vol.1.
Erik P. de Vink,
John-Jules Ch. Meyer,
J. Meyer,
1988,
Theor. Comput. Sci..
Erik P. de Vink,
John-Jules Ch. Meyer,
J. Meyer,
1987,
TAPSOFT, Vol.1.
Erik P. de Vink,
Jerry den Hartog,
Jan Verschuren,
2003,
SEC.
Erik P. de Vink,
Sjouke Mauw,
Jan Verschuren,
2004,
ESORICS.
Erik P. de Vink,
Bas Luttik,
Jan Friso Groote,
2019,
FACS.
Erik P. de Vink,
Natallia Kokash,
Christian Krause,
2011,
Formal Aspects of Computing.
Erik P. de Vink,
Natallia Kokash,
Christian Krause,
2010,
SAC '10.
Erik P. de Vink,
Farhad Arbab,
Dave Clarke,
2012,
SAC '12.
Erik P. de Vink,
Jan Peleska,
Klaus Havelund,
2018,
Lecture Notes in Computer Science.
Erik P. de Vink,
Suzana Andova,
Luuk Groenewegen,
2009,
Sci. Comput. Program..
Erik P. de Vink,
Luuk Groenewegen,
E. Vink,
2002,
COORDINATION.
Erik P. de Vink,
Jan Friso Groote,
Anton Wijs,
2019,
TACAS.
Erik P. de Vink,
Luuk Groenewegen,
E. Vink,
2006,
COORDINATION.
Erik P. de Vink,
Jerry den Hartog,
Jing Pan,
2008,
SEC.
Erik P. de Vink,
Jerry den Hartog,
E. Vink,
2004,
Formal Aspects in Security and Trust.
Erik P. de Vink,
Jerry den Hartog,
Eneia Todoran,
1997,
ILPS.
Erik P. de Vink,
J. W. de Bakker,
J. Bakker,
1991,
PARLE.
Erik P. de Vink,
John-Jules Ch. Meyer,
J. Meyer,
1989,
Distributed Computing.
Erik P. de Vink,
J. W. de Bakker,
J. Bakker,
2009,
New Generation Computing.
E. P. de Vink,
Arie de Bruin,
E. Vink,
1990
.
E. P. de Vink,
J.-J. Ch. Meyer,
J. Meyer,
1990
.
Erik P. de Vink,
Jan Friso Groote,
Sjoerd Cranen,
2013,
TACAS.
Erik P. de Vink,
Maurice H. ter Beek,
Tessa Belder,
2015,
FMSPLE.
J. Bakker,
E. Vink,
I. D. Hartog,
1998
.
Erik P. de Vink,
Diego Latella,
Mieke Massink,
2015,
Log. Methods Comput. Sci..
Erik P. de Vink,
Jos C. M. Baeten,
Pedro R. D'Argenio,
2012,
Formal Aspects of Computing.
Frank S. de Boer,
Nikolaos Bezirgiannis,
Keyvan Azadbakht,
2020,
Sci. Comput. Program..
Erik P. de Vink,
Holger Giese,
Christian Krause,
2013,
J. Vis. Lang. Comput..
Erik P. de Vink,
Farhad Arbab,
Dave Clarke,
2011,
FOCLASA.
Erik P. de Vink,
Suzana Andova,
Luuk Groenewegen,
2011,
PACO.
Erik P. de Vink,
Natallia Kokash,
Christian Krause,
2010,
2010 8th IEEE International Conference on Software Engineering and Formal Methods.
Erik P. de Vink,
Natallia Kokash,
Christian Krause,
2009,
FMCO.
Erik P. de Vink,
Farhad Arbab,
Christian Krause,
2009,
WADT.
Erik P. de Vink,
Pieter J. Toussaint,
Luuk Groenewegen,
2006,
CoOrg@COORDINATION.
Erik P. de Vink,
Frank S. de Boer,
Keyvan Azadbakht,
2018,
FM.
Erik P. de Vink,
Maurice H. ter Beek,
Michel A. Reniers,
2016,
ISoLA.
J. F. Groote,
E. Vink,
Jan Martens,
2022,
Log. Methods Comput. Sci..
Erik P. de Vink,
Suzana Andova,
Luuk Groenewegen,
2014,
Sci. Comput. Program..
E. Vink,
L. Aceto,
S. Andova,
2011,
PACO.
Erik P. de Vink,
Suzana Andova,
Luuk Groenewegen,
2009,
FOCLASA.
J. Verschuren,
M. Beek,
C. Gacek,
2009,
WADS.
Erik P. de Vink,
Luuk Groenewegen,
E. Vink,
2008,
ArXiv.
Erik P. de Vink,
Luuk Groenewegen,
Niels van Kampenhout,
2005,
COORDINATION.
Erik P. de Vink,
Luuk Groenewegen,
A. W. Stam,
2006,
MTCoord@COORDINATION.
D. Latella,
M. Massink,
E. Vink,
2023,
Formal Techniques for (Networked and) Distributed Systems.
J. F. Groote,
D. Latella,
M. Massink,
2023,
FM.
D. Latella,
M. Massink,
E. Vink,
2022,
A Journey from Process Algebra via Timed Automata to Model Learning.
Erik P. de Vink,
Jeroen L. A. Pennings,
Rob J. Vandebriel,
2014,
Biosyst..
Erik P. de Vink,
John-Jules Ch. Meyer,
Arjen Hommersom,
2005,
LCMAS.
Erik P. de Vink,
John-Jules Ch. Meyer,
Arjen Hommersom,
2004,
Synthese.
J. Rutten,
E. Vink,
1997,
Theor. Comput. Sci..