(2) LSV

Identifiers

• name variant (2) LSV 0.60 · backfill

Papers (1)

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

Mentions

• 1212.1485 #5 · backfill · confidence 0.70 (2) LSV

Frequent Coauthors

• 2) ((1) New York University 1 shared papers
• CNRS 1 shared papers
• France) 1 shared papers
• Kshitij Bansal (1) 1 shared papers
• St\'ephane Demri (1 1 shared papers
• USA 1 shared papers