Reachability in Reversible Free Choice Systems.

Jrg Desel, Javier Esparza

Browse the full STACS paper archive.