Jump to Navigation
Home
MEALS
Mobility between Europe and Argentina applying Logics to Systems

User menu

  • Login

You are here

Home ›

Publications

Filters: Author is Anton Wijs  [Clear All Filters]
2014
A. Wijs, J. - P. Katoen, and D. Bosnacki, “GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components”, in CAV, 2014.
  • Google Scholar
  • BibTex

Main menu

  • Home
  • Work Packages
  • Partners & People
  • Announcements
  • Publications
  • Deliverables

Contents

  • Home
  • Work Packages
  • Partners & People
  • Announcements
  • Publications
    • Authors
    • WP1
    • WP2
    • WP3
    • WP4
    • WP5
  • Deliverables

   

                              

Powered by Drupal