by Sanchez, Lisette, Wesselink, Wieger, Willemse, Tim A.C.
Published in Electronic proceedings in theoretical computer science (07.09.2018)

by Neele, Thomas, Willemse, Tim A. C., Wesselink, Wieger, Valmari, Antti
Published in International journal on software tools for technology transfer (01.10.2022)

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

by van Beusekom, Rutger, Groote, Jan Friso, Hoogendijk, Paul, Howe, Robert, Wesselink, Wieger, Wieringa, Rob, Willemse, Tim A. C.
Published in Critical Systems: Formal Methods and Automated Verification

by Keiren, Jeroen J. A., Wesselink, Wieger, Willemse, Tim A. C.
Published in Automated Technology for Verification and Analysis

by Wesselink, Wieger, Grooten, Bram, Xiao, Qiao, de Campos, Cassio, Pechenizkiy, Mykola
Year of Publication 24.07.2024

by Mooij, Arjan, Romijn, Judi, Wesselink, Wieger
Published in Algebraic Methodology and Software Technology (2006)

by Mooij, Arjan J., Wesselink, Wieger
Published in Formal Methods and Software Engineering (2005)

by Laveaux, Maurice, Wesselink, Wieger, Willemse, Tim A C
Published in arXiv.org (24.01.2022)

by Wesselink, Wieger, Grooten, Bram, Qiao Xiao, de Campos, Cassio, Pechenizkiy, Mykola
Published in arXiv.org (24.07.2024)

by Tveretina, Olga, Wesselink, Wieger
Published in Electronic notes in theoretical computer science (02.01.2009)

by Sanchez, Lisette, Wesselink, Wieger, Willemse, Tim A C
Published in arXiv.org (10.09.2018)

by Romijn, Judi, Wesselink, Wieger, Mooij, Arjan
Published in Automated Technology for Verification and Analysis

by Franssen, Michael, Veltkamp, Remco C., Wesselink, Wieger
Published in Computer aided geometric design (01.10.2000)

by Keiren, Jeroen J A, Wesselink, Wieger, Willemse, Tim A C
Published in arXiv.org (27.04.2014)

by Vroubel, Marina, Markopoulos, Panos, Bekker, Mathilde, Wesselink, Wieger
Published in IFAC Proceedings Volumes (01.09.2001)

by Wesselink, W., Goga, N., Mooij, A.J., Spronk, R.
Published in Canadian Conference on Electrical and Computer Engineering, 2005 (2005)