R\'emi Bonnet (LSV

Identifiers

• name variant R\'emi Bonnet (LSV 0.60 · backfill

Papers (1)

1. Model Checking Vector Addition Systems with one zero-test cs.DM · 2012 · author #1

Mentions

• 1205.4458 #1 · backfill · confidence 0.70 R\'emi Bonnet (LSV

Frequent Coauthors

• Alain Finkel (LSV 1 shared papers
• CNRS 1 shared papers
• ENS Cachan 1 shared papers
• France 1 shared papers
• France) 1 shared papers
• J\'er\^ome Leroux (LaBRI 1 shared papers
• LaBRI 1 shared papers
• Marc Zeitoun (LSV 1 shared papers
• Universit\'e de Bordeaux 1 shared papers