Search results for: Otmane Ait Mohamed
Journal of Applied Logic > 2017 > 25 > C > 47-68
Journal of Electronic Testing > 2017 > 33 > 5 > 607-620
IEEE Transactions on Nuclear Science > 2017 > 64 > 9 > 2523 - 2530
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Papers > 441-455
Studies in Computational Intelligence > Software Engineering Research, Management and Applications 2010 > 163-177
Lecture Notes in Computer Science