Accéder directement au contenu Accéder directement à la navigation
Chapitre d'ouvrage

Using Parallel and Distributed Reachability in Model Checking

Lamia Allal 1 Ghalem Belalem 1 Philippe Dhaussy 2 Ciprian Teodorov 3
2 Lab-STICC_ENSTAB_CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (UMR 3192)
3 Lab-STICC_ENSTAB_ CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Type de document :
Chapitre d'ouvrage
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-02515020
Contributeur : Annick Billon-Coat <>
Soumis le : lundi 23 mars 2020 - 11:10:03
Dernière modification le : mercredi 24 juin 2020 - 16:19:56

Identifiants

Citation

Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov. Using Parallel and Distributed Reachability in Model Checking. Ambient Communications and Computer Systems, pp.143-154, 2018, ⟨10.1007/978-981-10-7386-1_12⟩. ⟨hal-02515020⟩

Partager

Métriques

Consultations de la notice

310