Login / Signup

Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems.

Ahmed BouajjaniMarkus Müller-OlmTayssir Touili
Published in: CONCUR (2005)
Keyphrases
  • dynamic networks
  • data sets
  • data streams
  • binary images
  • complex systems
  • communication networks