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

Ansgar Fehnker (Editor), Hubert Garavel (Editor)

Research output: Contribution to conferenceOther

Original languageEnglish
DOIs
Publication statusPublished - 2020
Externally publishedYes
Event4th Workshop on Models for Formal Analysis of Real Systems, MARS 2020 - Dublin, Ireland
Duration: 26 Apr 202026 Apr 2020

Conference

Conference4th Workshop on Models for Formal Analysis of Real Systems, MARS 2020
Abbreviated titleMARS 2020
CountryIreland
CityDublin
Period26/04/2026/04/20

Cite this