by Groote, Jan Friso, Martens, Jan, de Vink, Erik. P.
Published in Logical methods in computer science (01.01.2023)

by Groote, J.F., Rivera Verduzco, H.J., de Vink, E.P.
Published in Algorithms (01.09.2018)

by Latella, Diego, Massink, Mieke, De Vink, Erik P
Published in Logical methods in computer science (22.12.2015)

by Lee, Matias D., de Vink, Erik P.
Published in Electronic proceedings in theoretical computer science (28.09.2015)

by Pronk, Tessa E., van der Veen, Jochem W., Vandebriel, Rob J., van Loveren, Henk, de Vink, Erik P., Pennings, Jeroen L.A.
Published in BioSystems (01.10.2014)

by ter Beek, Maurice H., de Vink, Erik P., Willemse, Tim A. C.
Published in Electronic proceedings in theoretical computer science (28.03.2016)

by Belder, Tessa, ter Beek, Maurice H., de Vink, Erik P.
Published in Electronic proceedings in theoretical computer science (12.04.2015)

by Markovski, Jasen, de Vink, Erik P
Published in Fundamenta informaticae (01.01.2009)

by Groote, Jan Friso, Martens, Jan, de Vink, Erik P
Published in arXiv.org (10.05.2023)

by de Vink, Erik P, Zantema, Hans, Bosnacki, Dragan
Published in Scientific annals of computer science (01.01.2013)

by ter Beek, Maurice H., Reniers, Michel A., de Vink, Erik P.
Published in Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques (2016)

by Groote, Jan Friso, de Vink, Erik P.
Published in From Software Engineering to Formal Methods and Tools, and Back (2019)

by Markovski, Jasen, de Vink, Erik P.
Published in Formal Methods and Stochastic Models for Performance Evaluation (2006)

by ter Beek, Maurice H., de Vink, Erik P., Willemse, Tim A. C.
Published in Fundamental Approaches to Software Engineering (2017)

by Groenewegen, Luuk P. J., Verschuren, Jan H. S., de Vink, Erik P.
Published in It's All About Coordination (2018)

by Groote, Jan Friso, de Vink, Erik P.
Published in ModelEd, TestEd, TrustEd (2017)

by Cranen, Sjoerd, Groote, Jan Friso, Keiren, Jeroen J. A., Stappers, Frank P. M., de Vink, Erik P., Wesselink, Wieger, Willemse, Tim A. C.
Published in Tools and Algorithms for the Construction and Analysis of Systems (2013)

by ter Beek, Maurice H., de Vink, Erik P.
Published in Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change (2014)

by Ciancia, Vincenzo, Latella, Diego, Massink, Mieke, de Vink, Erik P
Year of Publication 27.01.2023

by Bezhanishvili, Nick, Ciancia, Vincenzo, Gabelaia, David, Jibladze, Mamuka, Latella, Diego, Massink, Mieke, de Vink, Erik P
Year of Publication 09.04.2024