Communication Dans Un Congrès
Année : 2016
HAL SU Administrateur : Connectez-vous pour contacter le contributeur
https://hal.sorbonne-universite.fr/hal-01368309
Soumis le : lundi 19 septembre 2016-13:20:10
Dernière modification le : jeudi 4 avril 2024-11:05:34
Citer
Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud, Etienne Renault. Heuristics for Checking Liveness Properties with Partial Order Reductions. Automated Technology for Verification and Analysis, Oct 2016, Chiba, Japan. pp.340-356, ⟨10.1007/978-3-319-46520-3_22⟩. ⟨hal-01368309⟩
Collections
138
Consultations
0
Téléchargements