Proceedings/Recueil Des Communications
Electronic Proceedings in Theoretical Computer Science
Année : 2026
Connectez-vous pour contacter le contributeur
https://hal.science/hal-05600885
Soumis le : jeudi 23 avril 2026-16:08:12
Dernière modification le : vendredi 24 avril 2026-03:19:53
Dates et versions
Identifiants
- HAL Id : hal-05600885 , version 1
- ARXIV : 2604.03053
- DOI : 10.4204/EPTCS.443
Citer
Maurice H. ter Beek, Gregor Gössler. Proceedings of the 7th Workshop on Models for Formal Analysis of Real Systems. 7th Workshop on Models for Formal Analysis of Real Systems, Apr 2026, Torino, Italy. Electronic Proceedings in Theoretical Computer Science, 443, 2026, ⟨10.4204/EPTCS.443⟩. ⟨hal-05600885⟩
0
Consultations
0
Téléchargements