Igor Walukiewicz (CNRS

Identifiers

• name variant Igor Walukiewicz (CNRS 0.60 · backfill

Papers (1)

1. Using models to model-check recursive schemes cs.LO · 2015 · author #4

Mentions

• 1503.04320 #4 · backfill · confidence 0.70 Igor Walukiewicz (CNRS

Frequent Coauthors

• LaBRI 1 shared papers
• Sylvain Salvati (INRIA 1 shared papers
• universit\'e de Bordeaux) 1 shared papers