Shape and Content: Incorporating Domain Knowledge into Shape Analysis (bibtex)
by Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
Reference:
Shape and Content: Incorporating Domain Knowledge into Shape AnalysisDiego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian ZulegerInformal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014., pages 124-127, 2014.
Bibtex Entry:
@inproceedings{ws:CKSVZ14,
  author    = {Diego Calvanese and
               Tomer Kotek and
               Mantas Simkus and
               Helmut Veith and
               Florian Zuleger},
  title     = {Shape and Content: Incorporating Domain Knowledge into Shape Analysis},
  booktitle = {Informal Proceedings of the 27th International Workshop on Description
               Logics, Vienna, Austria, July 17-20, 2014.},
  pages     = {124--127},
  year      = {2014},
}
Powered by bibtexbrowser