Publications

Publications for Anton J. Wijs

2016
Download
[bibtex]
Anton J. Wijs, Joost-Pieter Katoen, Dragan Bosnacki. Efficient GPU Algorithms for Parallel Decomposition of Graphs into Strongly Connected and Maximal End Components. Formal Methods in System Design 48(3), pages 274-300, 2016.
Show all