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

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

Research output: Book/ReportAnthology

Filter
Other chapter contribution

Search results