Login / Signup

Proving Reachability Using FShell - (Competition Contribution).

Andreas HolzerDaniel KroeningChristian SchallhartMichael TautschnigHelmut Veith
Published in: TACAS (2012)
Keyphrases
  • digital libraries
  • database
  • databases
  • artificial intelligence
  • international competition
  • term rewrite systems