Article Dans Une Revue
Journal of Automated Reasoning
Année : 2020
Sylvain Conchon : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03149332
Soumis le : lundi 22 février 2021-22:21:33
Dernière modification le : samedi 30 mars 2024-03:20:49
Citer
Sylvain Conchon, David Declerck, Fatiha Zaïdi. Parameterized Model Checking on the TSO Weak Memory Model. Journal of Automated Reasoning, 2020, 64 (7), pp.1307-1330. ⟨10.1007/s10817-020-09565-w⟩. ⟨hal-03149332⟩
Collections
59
Consultations
0
Téléchargements