Guessing the Buffer Bound for k-Synchronizability - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2021

Guessing the Buffer Bound for k-Synchronizability

Cinzia Di Giusto
Laetitia Laversa
Etienne Lozes

Dates et versions

hal-03508219 , version 1 (03-01-2022)

Identifiants

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⟩
21 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More