Article Dans Une Revue
Logical Methods in Computer Science
Année : 2017
Stéphanie Delaune : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01906639
Soumis le : samedi 27 octobre 2018-11:11:10
Dernière modification le : jeudi 26 janvier 2023-04:02:04
Citer
Stéphanie Delaune, David Baelde, Lucca Hirschi. A Reduced Semantics for Deciding Trace Equivalence. Logical Methods in Computer Science, 2017, 13 (2), pp.1-48. ⟨10.23638/LMCS-13(2:8)2017⟩. ⟨hal-01906639⟩
Collections
52
Consultations
0
Téléchargements