GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components
| Title | GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Wijs, A, Katoen, J-P, Bosnacki, D |
| Conference Name | CAV |
Work Package:
WP1
