Sidi Ould Biha

Identifiers

• name variant Sidi Ould Biha 0.60 · backfill

Papers (1)

1. On Formal Reasoning on the Semantics of PLC using Coq cs.SE · 2013 · author #2

Mentions

• 1301.3047 #2 · backfill · confidence 0.70 Sidi Ould Biha

Frequent Coauthors

• Jan Olaf Blech 1 shared papers