Zennou R, Atig MF, Biswas R, Bouajjani A, Enea C, Erradi M. Boosting Sequential Consistency Checking Using Saturation. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) [Internet]. 2020;12302 LNCS:360-376. https://www.scopus.com/inward/record.uri?eid=2-s2.0-85093860805&doi=10.1007%2f978-3-030-59152-6_20&partnerID=40&md5=a60ea8b0396b220e92dc8ef992c37f30
Year of Publication: 2020
Year of Publication: 2020
Year of Publication: 2020

Pages

Partenaires

Localisation

Suivez-nous sur

         

    

Contactez-nous

ENSIAS

Avenue Mohammed Ben Abdallah Regragui, Madinat Al Irfane, BP 713, Agdal Rabat, Maroc

  Télécopie : (+212) 5 37 68 60 78

  Secrétariat de direction : 06 61 48 10 97

        Secrétariat général : 06 61 34 09 27

        Service des affaires financières : 06 61 44 76 79

        Service des affaires estudiantines : 06 62 77 10 17 / n.mhirich@um5s.net.ma

        Résidences : 06 61 82 89 77

Contacts

    

    Compteur de visiteurs:627,059
    Education - This is a contributing Drupal Theme
    Design by WeebPal.