Workshop on Models for Formal Analysis of Real Systems (4. : 2020 : Dublin)
Der Workshop wurde aufgrund der COVID-19-Pandemie auf unbestimmte Zeit verschoben, die Proceedings wurden jedoch veröffentlicht
Der Workshop wurde aufgrund der COVID-19-Pandemie auf unbestimmte Zeit verschoben, die Proceedings wurden jedoch veröffentlicht