Branch-Well-Structured Transition Systems and Extensions - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Branch-Well-Structured Transition Systems and Extensions

Benedikt Bollig
Amrita Suresh

Dates et versions

hal-03875990 , version 1 (28-11-2022)

Identifiants

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

Altmetric

Partager

Gmail Facebook X LinkedIn More