Multi-Core On-The-Fly SCC Decomposition

Vincent Bloemen, Alfons Laarman, Jan Cornelis van de Pol

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

30 Citations (Scopus)

755 Downloads (Pure)

30 Citations
1 PhD Thesis - Research UT, graduation UT

1 results

2019
Strong Connectivity and Shortest Paths for Checking Models
Bloemen, V., 10 Jul 2019, Enschede: University of Twente. 264 p.
Research output: Thesis › PhD Thesis - Research UT, graduation UT

Open Access
File
633 Downloads (Pure)