Jaco van de Pol – Professor of Computer Science – Aarhus University | LinkedIn
Testing Railway Interlockings with TTCN-3 Stefan Blom University of Innsbruck Natalia Ioustinova,Jaco van de Pol - ppt download
Jaco van de Pol — University of Twente Research Information
TWENTE SCIENCE CHALLENGE LAB JACO VAN DE POL, COMPUTER SCIENCE. - ppt download
Jaco van de Pol - SPIN 2021
jaco van de pol, INVITATION Inaugural of Professor Jaco van de Pol - ciclomobilidade.org
PDF) Towards Model Checking Executable UML Specifications in mCRL2 | Mohammadreza Mousavi - Academia.edu
Alvaro Torralba (@atorralb) / Twitter
Vidéothèque de l'UL - Jaco Van De Pol : Explainable Verification O…
Generalizing DPLL and satisfiability for equalities
Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings: van der Pol, Jaco, Weber, Michael: 9783642161650: Amazon.com: Books
Jaco van de Pol
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 - Research - Aarhus University
PRUNING NESTED-DFS FOR PARAMETRIC TIMED AUTOMATA
Cas van de Pol - YouTube
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science | Research profile
A State Space Distribution Policy Based on Abstract Interpretation – topic of research paper in Computer and information sciences. Download scholarly article PDF and read for free on CyberLeninka open science hub.
Tessa van der Pol | Praxis
Keynotes – FMICS 2019
A rewriting approach to binary decision diagrams
Christian Pol Roger en Jaco van Hensbergen - AstridsTaste
Dr. Jaco van de Pol is appointed Group Leader of SEN2
