Formal modelling and analysis of socio-technical systems

Probst, Christian, Kammueller, Florian ORCID logoORCID: https://orcid.org/0000-0001-5839-5488 and Hansen, Rene Rydhof (2016) Formal modelling and analysis of socio-technical systems. In: Semantics, Logics, and Calculi. Springer International. . [Book Section]

Item Type: Book Section
Research Areas: A. > School of Science and Technology > Computer Science
Item ID: 19715
Depositing User: Florian Kammueller
Date Deposited: 04 May 2016 09:37
Last Modified: 13 Oct 2016 14:39
URI: https://eprints.mdx.ac.uk/id/eprint/19715

Actions (login required)

View Item View Item

Statistics

Activity Overview
6 month trend
0Downloads
6 month trend
418Hits

Additional statistics are available via IRStats2.