Marc Zeitoun (LSV

Identifiers

• name variant Marc Zeitoun (LSV 0.60 · backfill

Papers (1)

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

Mentions

• 1205.4458 #13 · backfill · confidence 0.70 Marc Zeitoun (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
• R\'emi Bonnet (LSV 1 shared papers
• Universit\'e de Bordeaux 1 shared papers