Mohand-Sa\"id Hacid

Identifiers

• name variant Mohand-Sa\"id Hacid 0.60 · backfill

Papers (1)

1. On the Complexity of Computing Minimal Unsatisfiable LTL formulas cs.LO · 2012 · author #3

Mentions

• 1203.3706 #3 · backfill · confidence 0.70 Mohand-Sa\"id Hacid

Frequent Coauthors

• Francois Hantry 1 shared papers
• Lakhdar Sa\"is 1 shared papers