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

Institut for Datalogi

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

9 Citationer (Scopus)

Originalsprog	Engelsk
Titel	Semantics, Logics, and Calculi : Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
Redaktører	Christian W. Probst, Chris Hankin, Rene Rydhof Hansen
Forlag	Springer
Publikationsdato	2016
Sider	54-73
ISBN (Trykt)	978-3-319-27809-4
ISBN (Elektronisk)	978-3-319-27810-0
DOI	https://doi.org/10.1007/978-3-319-27810-0_3
Status	Udgivet - 2016

Navn	Lecture Notes in Computer Science
Vol/bind	9560
ISSN	0302-9743

Adgang til dokumentet

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

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

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 proceeding › Bidrag til bog/antologi › Forskning › 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. 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). doi: 10.1007/978-3-319-27810-0_3