Research output per year
Research output per year
R.J. van Glabbeek (Editor), J.F. Groote (Editor), P. Höfner (Editor)
Research output: Book/Report › Anthology
Original language | English |
---|---|
Publisher | Open Publishing Association |
Volume | 196 |
DOIs | |
Publication status | Published - 8 Nov 2015 |
Event | Workshop on Models for Formal Analysis of Real Systems - Suva, Fiji Duration: 23 Nov 2015 → … http://www.mars-workshop.org/mars2015/ |
Name | Electronic Proceedings in Theoretical Computer Science |
---|---|
Publisher | Open Publishing Association |
ISSN (Electronic) | 2075-2180 |
Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution