Artikel,

A Note on the Complexity of Model-Checking Bounded Multi-Pushdown Systems

, und .
CoRR, (2012)

Metadaten

Tags

Nutzer

  • @dblp

Kommentare und Rezensionen