Concordia University

Identifiers

• name variant Concordia University 0.60 · backfill

Papers (1)

1. Formal Analysis of Soft Errors using Theorem Proving cs.LO · 2013 · author #2

Mentions

• 1307.8213 #2 · backfill · confidence 0.70 Concordia University

Frequent Coauthors

• Canada) 1 shared papers
• Montreal 1 shared papers
• Naeem Abbasi (ECE Department 1 shared papers
• Osman Hasan (ECE Department 1 shared papers
• Sofi\`ene Tahar (ECE Department 1 shared papers