universit\'e de Bordeaux)

Identifiers

• name variant universit\'e de Bordeaux) 0.60 · backfill

Papers (1)

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