Decidability issues in reduced reachability analysis.

Leo Cacciari, Omar Rafiq

Browse the full ICNP paper archive.