Talks and Poster Presentations (with Proceedings-Entry):
D. Calvanese, T. Kotek, M. Simkus, H. Veith, F. Zuleger:
"Shape and Content - A Database-Theoretic Perspective on the Analysis of Data Structures";
Keynote Lecture: International Conference in Integrated Formal Methods (IFM),
Bertinoro, Italy (invited);
2014-09-09
- 2014-09-11; in: "IFM",
Springer / LNCS,
8739
(2014),
ISBN: 978-3-319-10180-4;
3
- 17.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-10181-1_1
Created from the Publication Database of the Vienna University of Technology.