Preface

Ansgar Fehnker, Hubert Garavel

Research output: Contribution to journalEditorialAcademicpeer-review

Original languageEnglish
JournalElectronic Proceedings in Theoretical Computer Science, EPTCS
Volume316
Publication statusPublished - 26 Apr 2020
Event4th Workshop on Models for Formal Analysis of Real Systems, MARS 2020 - Virtual , Ireland
Duration: 26 Apr 202026 Apr 2020
Conference number: 4

Cite this