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

doi:10.4204/EPTCS.196.0

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

Original language	English
Title of host publication	Proceedings Workshop on Models for Formal Analysis of Real Systems, Fiji, November 23, 2015
Publisher	Open Publishing Association
Volume	196
DOIs	https://doi.org/10.4204/EPTCS.196.0
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/

Publication series

Name	Electronic Proceedings in Theoretical Computer Science
Publisher	Open Publishing Association
ISSN (Print)	2075-2180

Workshop

Workshop	Workshop on Models for Formal Analysis of Real Systems
Abbreviated title	MARS 2015
Country/Territory	Fiji
City	Suva
Period	23/11/15 → …
Internet address	http://www.mars-workshop.org/mars2015/

Access to Document

10.4204/EPTCS.196.0Licence: Creative Commons: Attribution (CC-BY)

https://arxiv.org/html/1511.02528Licence: Creative Commons: Attribution (CC-BY)

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

Cite this

van Glabbeek, R. J., Groote, J. F., & Höfner, P. (2015). Preface: Proceedings Workshop on Models for Formal Analysis of Real Systems, Fiji, November 23, 2015. In Proceedings Workshop on Models for Formal Analysis of Real Systems, Fiji, November 23, 2015 (Vol. 196). (Electronic Proceedings in Theoretical Computer Science). Open Publishing Association. https://doi.org/10.4204/EPTCS.196.0

@inbook{0f5e1a541285454f81602e9850fefd5a,

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

author = "\{van Glabbeek\}, R.J. and J.F. Groote and P. H{\"o}fner",

year = "2015",

month = nov,

day = "8",

doi = "10.4204/EPTCS.196.0",

language = "English",

volume = "196",

series = "Electronic Proceedings in Theoretical Computer Science",

publisher = "Open Publishing Association",

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

address = "Australia",

note = "Workshop on Models for Formal Analysis of Real Systems, MARS 2015 ; Conference date: 23-11-2015",

url = "http://www.mars-workshop.org/mars2015/",

}

van Glabbeek, RJ, Groote, JF & Höfner, P 2015, Preface: Proceedings Workshop on Models for Formal Analysis of Real Systems, Fiji, November 23, 2015. in Proceedings Workshop on Models for Formal Analysis of Real Systems, Fiji, November 23, 2015. vol. 196, Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, Workshop on Models for Formal Analysis of Real Systems, Suva, Fiji, 23/11/15. https://doi.org/10.4204/EPTCS.196.0

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.
Proceedings Workshop on Models for Formal Analysis of Real Systems, Fiji, November 23, 2015. Vol. 196 Open Publishing Association, 2015. (Electronic Proceedings in Theoretical Computer Science).

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

TY - CHAP

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

AU - van Glabbeek, R.J.

AU - Groote, J.F.

AU - Höfner, P.

PY - 2015/11/8

Y1 - 2015/11/8

U2 - 10.4204/EPTCS.196.0

DO - 10.4204/EPTCS.196.0

M3 - Other chapter contribution

VL - 196

T3 - Electronic Proceedings in Theoretical Computer Science

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

PB - Open Publishing Association

T2 - Workshop on Models for Formal Analysis of Real Systems

Y2 - 23 November 2015

ER -