St\'ephane Demri (1

Identifiers

• name variant St\'ephane Demri (1 0.60 · backfill

Papers (1)

1. A Note on the Complexity of Model-Checking Bounded Multi-Pushdown Systems cs.LO · 2012 · author #2

Mentions

• 1212.1485 #2 · backfill · confidence 0.70 St\'ephane Demri (1

Frequent Coauthors

• 2) ((1) New York University 1 shared papers
• (2) LSV 1 shared papers
• CNRS 1 shared papers
• France) 1 shared papers
• Kshitij Bansal (1) 1 shared papers
• USA 1 shared papers