%0 Journal Article %1 journals/fmsd/WijsKB16 %A Wijs, Anton %A Katoen, Joost-Pieter %A Bosnacki, Dragan %D 2016 %J Formal Methods Syst. Des. %K dblp %N 3 %P 274-300 %T Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd48.html#WijsKB16 %V 48

@article{journals/fmsd/WijsKB16, added-at = {2020-03-13T00:00:00.000+0100}, author = {Wijs, Anton and Katoen, Joost-Pieter and Bosnacki, Dragan}, biburl = {https://www.bibsonomy.org/bibtex/2184d3e78e440c5ba1656039ea63158f2/dblp}, ee = {https://www.wikidata.org/entity/Q57800546}, interhash = {b35d5c89d9289d41f8bc643498e140cc}, intrahash = {184d3e78e440c5ba1656039ea63158f2}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 3, pages = {274-300}, timestamp = {2020-03-14T11:51:24.000+0100}, title = {Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd48.html#WijsKB16}, volume = 48, year = 2016 }