A Multi-Core Solver for Parity Games – topic of research paper in Computer and information sciences. Download scholarly article PDF and read for free on CyberLeninka open science hub.
![A Multi-Core Solver for Parity Games – topic of research paper in Computer and information sciences. Download scholarly article PDF and read for free on CyberLeninka open science hub. A Multi-Core Solver for Parity Games – topic of research paper in Computer and information sciences. Download scholarly article PDF and read for free on CyberLeninka open science hub.](https://cyberleninka.org/viewer_images/895581/f/1.png)
A Multi-Core Solver for Parity Games – topic of research paper in Computer and information sciences. Download scholarly article PDF and read for free on CyberLeninka open science hub.
![Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science](https://www.researchgate.net/publication/305671137/figure/fig1/AS:389582962085889@1469895224577/The-Cytoscape-user-interface-running-the-ANIMO-plug-in-The-Network-panel-in-the-centre_Q320.jpg)
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
![Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science - Page 3 Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science - Page 3](https://i1.rgstatic.net/ii/profile.image/272520880324611-1441985449206_Q512/Jaco_Pol.jpg)
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science - Page 3
![Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science](https://www.researchgate.net/publication/305671137/figure/tbl1/AS:670393174081561@1536845596767/Comparison-between-ANIMO-and-some-existing-approaches-to-modelling-biological-systems_Q320.jpg)
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
![Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science - Page 3 Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science - Page 3](https://www.researchgate.net/profile/Jaco_Pol/publication/266295609/figure/tbl2/AS:669535648612367@1536641146777/3-Stubborn-set-with-NES-algorithm_Q320.jpg)