![New developments around the μCRL tool set1 1http://www.cwi.nl/~mcrl – topic of research paper in Computer and information sciences. Download scholarly article PDF and read for free on CyberLeninka open science hub. New developments around the μCRL tool set1 1http://www.cwi.nl/~mcrl – 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/297052/f/1.png)
New developments around the μCRL tool set1 1http://www.cwi.nl/~mcrl – 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 - Page 4 Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science - Page 4](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 4
![Étienne André on Twitter: "Attending ETAPS 2019? Consider making an informal presentation at SynCoP 2019 🇨🇿 (organised by Laure Petrucci and Jaco Van de Pol) https://t.co/svuzfSjDeV" Étienne André on Twitter: "Attending ETAPS 2019? Consider making an informal presentation at SynCoP 2019 🇨🇿 (organised by Laure Petrucci and Jaco Van de Pol) https://t.co/svuzfSjDeV"](https://pbs.twimg.com/profile_images/931178216634634240/RzwNyicN.jpg)
Étienne André on Twitter: "Attending ETAPS 2019? Consider making an informal presentation at SynCoP 2019 🇨🇿 (organised by Laure Petrucci and Jaco Van de Pol) https://t.co/svuzfSjDeV"
![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. 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.](https://cyberleninka.org/viewer_images/1205092/f/1.png)
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 Den Hoven - Armand Character Inspiration in 2020 | Long hair styles men, Dark haired men, Hoven Jaco Van Den Hoven - Armand Character Inspiration in 2020 | Long hair styles men, Dark haired men, Hoven](https://i.pinimg.com/originals/fd/26/0d/fd260d703a0dd8a0bdcda7ec740c050e.jpg)
Jaco Van Den Hoven - Armand Character Inspiration in 2020 | Long hair styles men, Dark haired men, Hoven
![Edward van de Pol gaat Ontwikkeling Ondernemerschap op de Tilburg University leiden • Tilburgers.nl - Nieuws uit Tilburg Edward van de Pol gaat Ontwikkeling Ondernemerschap op de Tilburg University leiden • Tilburgers.nl - Nieuws uit Tilburg](https://www.tilburgers.nl/wp-content/uploads/2018/11/2018-11-20-Edward-van-de-Pol-Twitter.jpg)