Chapitre D'ouvrage
Année : 2021
Cinzia Di Giusto : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03508219
Soumis le : lundi 3 janvier 2022-15:35:07
Dernière modification le : lundi 26 février 2024-11:22:14
Citer
Cinzia Di Giusto, Laetitia Laversa, Etienne Lozes. Guessing the Buffer Bound for k-Synchronizability. Implementation and Application of Automata, 12803, Springer International Publishing, pp.102-114, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-79121-6_9⟩. ⟨hal-03508219⟩
Collections
21
Consultations
0
Téléchargements