Atig, Mohammed Faouzi

1. Stateless Model Checking for TSO and PSO
   2015/01/09 by Abdulla, Parosh, Aronis, Stavros, Atig, Mohammed Faouzi +3 · 2 citations
   #D.1.3 #D.2.4 #F.3.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)