collaborators

1 paper

cs.LO2026

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

Maurice H. ter Beek, Gregor Gössler

These proceedings contain the papers that were presented at the 7th Workshop on Models for Formal Analysis of Real Systems (MARS 2026), which took place on 12 April 2026 in Turin,…