Article Dans Une Revue
Formal Methods in System Design
Année : 2018
Benedikt Bollig : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02398192
Soumis le : vendredi 6 décembre 2019-23:47:05
Dernière modification le : jeudi 21 mars 2024-15:28:03
Citer
Benedikt Bollig, Manuela-Lidia Grindei, Peter Habermehl. Realizability of concurrent recursive programs. Formal Methods in System Design, 2018, 53 (3), pp.339-362. ⟨10.1007/s10703-017-0282-y⟩. ⟨hal-02398192⟩
Collections
16
Consultations
0
Téléchargements