Formal Modelling and Analysis of Socio-Technical Systems

Christian W. Probst; Florian Kammüller; Rene Rydhof Hansen

doi:10.1007/978-3-319-27810-0_3

Formal Modelling and Analysis of Socio-Technical Systems

Christian W. Probst, Florian Kammüller, Rene Rydhof Hansen

Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

Original language	English
Title of host publication	Semantics, Logics, and Calculi : Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
Editors	Christian W. Probst, Chris Hankin, Rene Rydhof Hansen
Publisher	Springer
Publication date	2016
Pages	54-73
ISBN (Print)	978-3-319-27809-4
ISBN (Electronic)	978-3-319-27810-0
DOIs	https://doi.org/10.1007/978-3-319-27810-0_3
Publication status	Published - 2016

Series	Lecture Notes in Computer Science
Volume	9560
ISSN	0302-9743

Access to Document

10.1007/978-3-319-27810-0_3

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

Probst, Christian W. ; Kammüller, Florian ; Hansen, Rene Rydhof. / Formal Modelling and Analysis of Socio-Technical Systems. Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. editor / Christian W. Probst ; Chris Hankin ; Rene Rydhof Hansen. Springer, 2016. pp. 54-73 (Lecture Notes in Computer Science, Vol. 9560).

@inbook{236aeb4b9b9648db8299bd93f997d77c,

title = "Formal Modelling and Analysis of Socio-Technical Systems",

author = "Probst, {Christian W.} and Florian Kamm{\"u}ller and Hansen, {Rene Rydhof}",

year = "2016",

doi = "10.1007/978-3-319-27810-0_3",

language = "English",

isbn = "978-3-319-27809-4",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "54--73",

editor = "Probst, {Christian W.} and Chris Hankin and Hansen, {Rene Rydhof}",

booktitle = "Semantics, Logics, and Calculi",

address = "Germany",

}

Probst, CW, Kammüller, F & Hansen, RR 2016, Formal Modelling and Analysis of Socio-Technical Systems. in CW Probst, C Hankin & RR Hansen (eds), Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. Springer, Lecture Notes in Computer Science, vol. 9560, pp. 54-73. https://doi.org/10.1007/978-3-319-27810-0_3

Formal Modelling and Analysis of Socio-Technical Systems. / Probst, Christian W.; Kammüller, Florian; Hansen, Rene Rydhof.
Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. ed. / Christian W. Probst; Chris Hankin; Rene Rydhof Hansen. Springer, 2016. p. 54-73 (Lecture Notes in Computer Science, Vol. 9560).

Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

TY - CHAP

T1 - Formal Modelling and Analysis of Socio-Technical Systems

AU - Probst, Christian W.

AU - Kammüller, Florian

AU - Hansen, Rene Rydhof

PY - 2016

Y1 - 2016

U2 - 10.1007/978-3-319-27810-0_3

DO - 10.1007/978-3-319-27810-0_3

M3 - Book chapter

SN - 978-3-319-27809-4

T3 - Lecture Notes in Computer Science

SP - 54

EP - 73

BT - Semantics, Logics, and Calculi

A2 - Probst, Christian W.

A2 - Hankin, Chris

A2 - Hansen, Rene Rydhof

PB - Springer

ER -

Probst CW, Kammüller F, Hansen RR. Formal Modelling and Analysis of Socio-Technical Systems. In Probst CW, Hankin C, Hansen RR, editors, Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. Springer. 2016. p. 54-73. (Lecture Notes in Computer Science, Vol. 9560). doi: 10.1007/978-3-319-27810-0_3