@conference {228,
	title = {GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components},
	booktitle = {CAV},
	year = {2014},
	author = {Anton Wijs and Joost-Pieter Katoen and Dragan Bosnacki}
}