Chapitre D'ouvrage
Année : 2018
Annick Billon-Coat : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02515020
Soumis le : lundi 23 mars 2020-11:10:03
Dernière modification le : vendredi 24 mars 2023-14:53:15
Citer
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⟩
33
Consultations
0
Téléchargements