Johannes Pfeffer, Leon Urbas. Formal Modelling of App-Ensembles. In Benjamin Weyers, Judy Bowen, Alan Dix, Philippe A. Palanque, editors, The Handbook of Formal Methods in Human-Computer Interaction. pages 529-547, Springer International Publishing, 2017. [doi]
@incollection{PfefferU17,
title = {Formal Modelling of App-Ensembles},
author = {Johannes Pfeffer and Leon Urbas},
year = {2017},
doi = {10.1007/978-3-319-51838-1_19},
url = {https://doi.org/10.1007/978-3-319-51838-1_19},
researchr = {https://researchr.org/publication/PfefferU17},
cites = {0},
citedby = {0},
pages = {529-547},
booktitle = {The Handbook of Formal Methods in Human-Computer Interaction},
editor = {Benjamin Weyers and Judy Bowen and Alan Dix and Philippe A. Palanque},
publisher = {Springer International Publishing},
isbn = {978-3-319-51838-1},
}