Arnaud Carayol (LIGM
Identifiers
- name variant Arnaud Carayol (LIGM 0.60 · backfill
Papers (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