Charles Pecheur

Identifiers

No identifiers captured yet.

Papers (1)

1. Verification of railway interlocking - Compositional approach with OCRA cs.SE · 2016 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Christophe Limbree 1 shared papers
• Quentin Cappart 1 shared papers
• Stefano Tonetta 1 shared papers