![](/img/cover-not-exists.png)
[ACM Press the 3rd ACM SIGCHI symposium - Pisa, Italy (2011.06.13-2011.06.16)] Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems - EICS '11 - Formalizing model consistency based on the abstract syntax
Trollmann, Frank, Blumendorf, Marco, Schwartze, Veit, Albayrak, SahinYear:
2011
Language:
english
DOI:
10.1145/1996461.1996498
File:
PDF, 1022 KB
english, 2011