Login / Signup

Reachability Analysis of Pushdown Systems with an Upper Stack.

Adrien PommelletMarcio DiazTayssir Touili
Published in: LATA (2017)
Keyphrases
  • reachability analysis
  • management system
  • distributed systems
  • machine learning
  • expert systems
  • computer systems
  • real time systems
  • information systems
  • natural language
  • relational databases
  • model checking