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 : mercredi 7 février 2024-08:57:27
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⟩
Collections
36
Consultations
0
Téléchargements