universit\'e de Bordeaux)
Identifiers
- name variant universit\'e de Bordeaux) 0.60 · backfill
Papers (1)
- Using models to model-check recursive schemes cs.LO · 2015 · author #3
Mentions
- 1503.04320 #3 · backfill · confidence 0.70 universit\'e de Bordeaux)
Frequent Coauthors
- Igor Walukiewicz (CNRS 1 shared papers
- LaBRI 1 shared papers
- Sylvain Salvati (INRIA 1 shared papers