Original language | English |
---|---|
Publisher | ArXiv.org |
DOIs | |
Publication status | Published - 2020 |
Event | 4th Workshop on Models for Formal Analysis of Real Systems, MARS 2020 - Virtual , Ireland Duration: 26 Apr 2020 → 26 Apr 2020 Conference number: 4 |
Publication series
Name | EPTCS |
---|---|
Volume | 316 |