Article Dans Une Revue
Information and Computation
Année : 2018
Alain FINKEL : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03415332
Soumis le : jeudi 4 novembre 2021-19:30:40
Dernière modification le : vendredi 17 mai 2024-16:22:03
Citer
Alain Finkel, Michael Blondin, Pierre Mckenzie. Handling infinitely branching well-structured transition systems. Information and Computation, 2018, 258, pp.28-49. ⟨10.1016/j.ic.2017.11.001⟩. ⟨hal-03415332⟩
Collections
22
Consultations
0
Téléchargements