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 : dimanche 21 janvier 2024-03:39:44
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
220
Consultations
0
Téléchargements