Research output per year
Research output per year
Research output
Search results
-
2019
Preface
Fokkink, W. J. & van Glabbeek, R. J., 1 Aug 2019, 0th International Conference on Concurrency Theory CONCUR 2019). Fokkink, W. J. & van Glabbeek, R. J. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Vol. 140. p. 0:i-0:xiv (Leibniz International Proceedings in Informatics (LIPIcs)).Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution
Open AccessFile -
2015
Preface: Proceedings Workshop on Models for Formal Analysis of Real Systems, Fiji, November 23, 2015
van Glabbeek, R. J., Groote, J. F. & Höfner, P., 8 Nov 2015, Proceedings Workshop on Models for Formal Analysis of Real Systems, Fiji, November 23, 2015. Open Publishing Association, Vol. 196. (Electronic Proceedings in Theoretical Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution
Open Access