Preface: Proceedings Workshop on Models for Formal Analysis of Real Systems, Fiji, November 23, 2015

R.J. van Glabbeek, J.F. Groote, P. Höfner

Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution

1 results

2015

Proceedings Workshop on Models for Formal Analysis of Real Systems, Fiji, November 23, 2015
van Glabbeek, R. J. (Editor), Groote, J. F. (Editor) & Höfner, P. (Editor), 8 Nov 2015, Open Publishing Association. (Electronic Proceedings in Theoretical Computer Science)
Research output: Book/Report › Anthology

Open Access