Mohammed Faouzi Atig

Identifiers

• name variant Mohammed Faouzi Atig 0.60 · backfill

Papers (1)

1. Stateless Model Checking for TSO and PSO cs.LO · 2015 · author #3

Mentions

• 1501.02069 #3 · backfill · confidence 0.70 Mohammed Faouzi Atig

Frequent Coauthors

• Bengt Jonsson 1 shared papers
• Carl Leonardsson 1 shared papers
• Konstantinos Sagonas 1 shared papers
• Parosh Abdulla 1 shared papers
• Stavros Aronis 1 shared papers