Formal Modelling and Analysis of Socio-Technical Systems

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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

5 Citationer (Scopus)
OriginalsprogEngelsk
TitelSemantics, Logics, and Calculi : Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
RedaktørerChristian W. Probst, Chris Hankin, Rene Rydhof Hansen
ForlagSpringer
Publikationsdato2016
Sider54-73
ISBN (Trykt)978-3-319-27809-4
ISBN (Elektronisk)978-3-319-27810-0
DOI
StatusUdgivet - 2016
NavnLecture Notes in Computer Science
Vol/bind9560
ISSN0302-9743

Citer dette

Probst, C. W., Kammüller, F., & Hansen, R. R. (2016). Formal Modelling and Analysis of Socio-Technical Systems. I C. W. Probst, C. Hankin, & R. R. Hansen (red.), Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays (s. 54-73). Springer. Lecture Notes in Computer Science, Bind. 9560 https://doi.org/10.1007/978-3-319-27810-0_3
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. red. / Christian W. Probst ; Chris Hankin ; Rene Rydhof Hansen. Springer, 2016. s. 54-73 (Lecture Notes in Computer Science, Bind 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. i CW Probst, C Hankin & RR Hansen (red), 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, bind 9560, s. 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. red. / Christian W. Probst; Chris Hankin; Rene Rydhof Hansen. Springer, 2016. s. 54-73 (Lecture Notes in Computer Science, Bind 9560).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer 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. I Probst CW, Hankin C, Hansen RR, red., Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. Springer. 2016. s. 54-73. (Lecture Notes in Computer Science, Bind 9560). https://doi.org/10.1007/978-3-319-27810-0_3