BibTeX record conf/sefm/GeorgievaM05

download as .bib file

@inproceedings{DBLP:conf/sefm/GeorgievaM05,
  author    = {Lilia Georgieva and
               Patrick Maier},
  title     = {Description Logics for Shape Analysis},
  booktitle = {{SEFM}},
  pages     = {321--331},
  publisher = {{IEEE} Computer Society},
  year      = {2005}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics