Contribution to LTL and -Automata for Model Checking
Peter LARSEN | Professor (Full) | MSc, PhD | Aarhus University | AU | Department of Engineering | Research profile
Researchers at Department of Computer Science - Aarhus University
jaco van de pol, INVITATION Inaugural of Professor Jaco van de Pol - ciclomobilidade.org
Associate Professor Graeme Smith - School of Information Technology and Electrical Engineering - University of Queensland
Jaco van de Pol - Zelfstandige - van de Pol Maritime Services | LinkedIn
Full Curriculum Vitae – Jaco van de Pol – November 2021
Jaco van de Pol – Professor of Computer Science – Aarhus University | LinkedIn
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science | Research profile
Jaco van de Pol - SPIN 2021
Jaco van de Pol - Research - Aarhus University
Frédéric HERBRETEAU | Associate Professor | PhD | Bordeaux INP, Talence | LaBRI | Research profile
Software Engineering Research Community | Facebook
Jaco van de Pol - Sales Executive - CrowdLED | LinkedIn
Jaco van de Pol - Zelfstandige - van de Pol Maritime Services | LinkedIn
Researchers at Department of Computer Science - Aarhus University
GPU IMPLEMENTATION OF PARTIAL-ORDER REDUCTION
jaco van de pol, INVITATION Inaugural of Professor Jaco van de Pol - ciclomobilidade.org
Andreas Pavlogiannis
Logic and Semantics
Tribeca Festival 2022 Slate: Films From Ray Romano, Lena Waithe - Variety
Job VAN BOVEN | Professor (Associate) | PharmD, PhD | University of Groningen, Groningen | RUG | Department of Clinical Pharmacology | Research profile
Petri Nets 2021
Two new DIREC projects led by Aarhus Univsersity
