GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components

Article Details
Title:	GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components
Article URLs:	https://doi.org/10.1007/978-3-319-08867-9_20 https://www.wikidata.org/entity/Q57800812
Alternative Article URLs:
Authors:	Anton Wijs	Eindhoven University of Technology
	Joost-Pieter Katoen	RWTH Aachen University
	Dragan Bosnacki	Eindhoven University of Technology
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	http://www.win.tue.nl/~awijs/gpudecompose
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/cav/WijsKB14
Author Comments:

Computer Aided Verification, CAV 2014