Reachability in hierarchical machines.

Omer Nguena-Timo, Alexandre Petrenko, Arnaud Dury, S. Ramesh

Browse the full IRI paper archive.