Formal Modelling and Analysis of Socio-Technical Systems
From MaRDI portal
Publication:2796216
DOI10.1007/978-3-319-27810-0_3zbMath1478.91141OpenAlexW2291789678MaRDI QIDQ2796216
Christian W. Probst, René Rydhof Hansen, Florian Kammüller
Publication date: 23 March 2016
Published in: Semantics, Logics, and Calculi (Search for Journal in Brave)
Full work available at URL: https://backend.orbit.dtu.dk/ws/files/127220612/festschriftInsider.pdf
This page was built for publication: Formal Modelling and Analysis of Socio-Technical Systems