[Back]


Talks and Poster Presentations (with Proceedings-Entry):

D. Calvanese, T. Kotek, M. Simkus, H. Veith, F. Zuleger:
"Shape and Content: Incorporating Domain Knowledge into Shape Analysis";
Talk: International Workshop on Description Logics, Wien; 2014-07-17 - 2014-07-20; in: "International Workshop on Description Logics", (2014), 4 pages.



Electronic version of the publication:
http://ceur-ws.org/Vol-1193/paper_34.pdf


Created from the Publication Database of the Vienna University of Technology.