jaco van de pol, INVITATION Inaugural of Professor Jaco van de Pol - ciclomobilidade.org
Contribution to LTL and -Automata for Model Checking
Jaco van de Pol - Zelfstandige - van de Pol Maritime Services | LinkedIn
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science | Research profile
Researchers at Department of Computer Science - Aarhus University
Associate Professor Graeme Smith - School of Information Technology and Electrical Engineering - University of Queensland
Jaco van de Pol – Professor of Computer Science – Aarhus University | LinkedIn
Jaco van de Pol - Zelfstandige - van de Pol Maritime Services | LinkedIn
Logic and Semantics
Frédéric HERBRETEAU | Associate Professor | PhD | Bordeaux INP, Talence | LaBRI | Research profile
Étienne ANDRÉ | Professor | Professor | LIPN | Research profile
Organisation
Jaco van de Pol – Professor of Computer Science – Aarhus University | LinkedIn
Researchers at Department of Computer Science - Aarhus University
Tribeca Festival 2022 Slate: Films From Ray Romano, Lena Waithe - Variety
Jaco van de Pol - SPIN 2021
Researchers at Department of Computer Science - Aarhus University
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science | Research profile
Two new DIREC projects led by Aarhus Univsersity
jaco van de pol, INVITATION Inaugural of Professor Jaco van de Pol - ciclomobilidade.org
Jaco van de Pol - Sales Executive - CrowdLED | LinkedIn
Jaco van de Pol – Professor of Computer Science – Aarhus University | LinkedIn
Full Curriculum Vitae – Jaco van de Pol – November 2021
