Communication Dans Un Congrès
Année : 2022
Benedikt Bollig : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03875990
Soumis le : lundi 28 novembre 2022-16:16:37
Dernière modification le : vendredi 17 mai 2024-16:22:05
Dates et versions
Identifiants
- HAL Id : hal-03875990 , version 1
- ARXIV : 2211.15913
- DOI : 10.1007/978-3-031-08679-3_4
Citer
Benedikt Bollig, Alain Finkel, Amrita Suresh. Branch-Well-Structured Transition Systems and Extensions. 42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2022), Jun 2022, Lucca, Italy. pp.50-66, ⟨10.1007/978-3-031-08679-3_4⟩. ⟨hal-03875990⟩
Collections
36
Consultations
0
Téléchargements