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

Original languageEnglish
PublisherOpen Publishing Association
Volume196
DOIs
Publication statusPublished - 8 Nov 2015
EventWorkshop on Models for Formal Analysis of Real Systems - Suva, Fiji
Duration: 23 Nov 2015 → …
http://www.mars-workshop.org/mars2015/

Publication series

NameElectronic Proceedings in Theoretical Computer Science
PublisherOpen Publishing Association
ISSN (Electronic)2075-2180

Cite this