Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings | SpringerLink
Tessa van der Pol | Praxis
Jaco van de Pol
4 "Jaco Van De Pol" profiles | LinkedIn
TWENTE SCIENCE CHALLENGE LAB JACO VAN DE POL, COMPUTER SCIENCE. - ppt download
Jaco van de Pol - SPIN 2021
Jaco van de Pol – Professor of Computer Science – Aarhus University | LinkedIn
Jaco van de Pol
Farewell to prof. Jaco van de Pol and prof. Boudewijn Haverkort
Jaco van de Pol, informatica - ppt download
Step on the Box
Improved Distributed Algorithms for SCC Decomposition – topic of research paper in Computer and information sciences. Download scholarly article PDF and read for free on CyberLeninka open science hub.
Jaco van de Pol – Professor of Computer Science – Aarhus University | LinkedIn
Jaco van de Pol — University of Twente Research Information
Dr. Jaco van de Pol is appointed Group Leader of SEN2
Full Curriculum Vitae – Jaco van de Pol – November 2021
Tweets with replies by Kim G Larsen (@kglaau) / Twitter
A rewriting approach to binary decision diagrams
PRUNING NESTED-DFS FOR PARAMETRIC TIMED AUTOMATA
Regiotaxi geeft na valse start vol gas om stipt te rijden | Utrecht | AD.nl
Two new DIREC projects led by Aarhus Univsersity
Jaco van de Pol
Holland Parket steekt Sparta Nijkerk JO8-3 in het nieuw - v.v. Sparta Nijkerk
4 "Jaco Van De Pol" profiles | LinkedIn
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science | Research profile
Generalizing DPLL and satisfiability for equalities
