Constrained Reachability of Process Rewrite Systems.

Tayssir Touili

Browse the full ICTAC paper archive.