Fingerprint
Dive into the research topics of 'Proceedings Workshop on Models for Formal Analysis of Real Systems, MARS 2015, Suva, Fiji, November 23, 2015'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Proceedings Workshop on Models for Formal Analysis of Real Systems, MARS 2015, Suva, Fiji, November 23, 2015
Rob J. van Glabbeek (Editor), Jan Friso Groote (Editor), Peter Höfner (Editor)
Research output: Book/Report › Book editing › Academic › peer-review