Login / Signup

Reachability of Multistack Pushdown Systems with Scope-Bounded Matching Relations.

Salvatore La TorreMargherita Napoli
Published in: CONCUR (2011)
Keyphrases
  • pattern matching
  • databases
  • expert systems
  • data sets
  • decision making
  • model checking