Login / Signup
Reachability Analysis of Process Rewrite Systems.
Ahmed Bouajjani
Tayssir Touili
Published in:
FSTTCS (2003)
Keyphrases
</>
reachability analysis
timed automata
databases
relational databases
rewrite systems