Login / Signup

Reachability Analysis of Process Rewrite Systems.

Ahmed BouajjaniTayssir Touili
Published in: FSTTCS (2003)
Keyphrases
  • reachability analysis
  • timed automata
  • databases
  • relational databases
  • rewrite systems