Decidability and Complexity Borders of Reachability Problems (Invited Talk).

Georg Zetzsche

Browse the full ICALP paper archive.