Proceedings/Recueil Des Communications Electronic Proceedings in Theoretical Computer Science Année : 2026

Proceedings of the 7th Workshop on Models for Formal Analysis of Real Systems

Maurice H. ter Beek
Gregor Gössler
  • Fonction : éditeur scientifique
  • PersonId : 5331
  • IdHAL : goessler
  • IdRef : 179367110

Dates et versions

hal-05600885 , version 1 (23-04-2026)

Identifiants

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

Altmetric

Partager

  • More