CITATION STYLE
Brat, G., Combéfis, S., Giannakopoulou, D., Pecheur, C., Raimondi, F., & Rungta, N. (2017). Formal Analysis of Multiple Coordinated HMI Systems (pp. 405–431). https://doi.org/10.1007/978-3-319-51838-1_15
Mendeley helps you to discover research relevant for your work.