Arnaud Carayol (LIGM

Identifiers

• name variant Arnaud Carayol (LIGM 0.60 · backfill

Papers (1)

1. Saturation algorithms for model-checking pushdown systems cs.FL · 2014 · author #1

Mentions

• 1405.5593 #1 · backfill · confidence 0.70 Arnaud Carayol (LIGM

Frequent Coauthors

• CNRS) 1 shared papers
• Matthew Hague (Department of Computer Science 1 shared papers
• Royal Holloway University of London) 1 shared papers
• Universit\'e Paris-Est 1 shared papers