Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability (bibtex)
by Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
Reference:
Towards a Description Logic for Program Analysis: Extending ALCQIO with ReachabilityTomer Kotek, Mantas Simkus, Helmut Veith, Florian ZulegerInformal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014., pages 591-594, 2014.
Bibtex Entry:
@inproceedings{ws:KSVZ14,
  author    = {Tomer Kotek and
               Mantas Simkus and
               Helmut Veith and
               Florian Zuleger},
  title     = {Towards a Description Logic for Program Analysis: Extending {ALCQIO}
               with Reachability},
  booktitle = {Informal Proceedings of the 27th International Workshop on Description
               Logics, Vienna, Austria, July 17-20, 2014.},
  pages     = {591--594},
  year      = {2014},
}
Powered by bibtexbrowser