%0 Conference Paper %1 conf/dlog/KotekSVZ14 %A Kotek, Tomer %A Simkus, Mantas %A Veith, Helmut %A Zuleger, Florian %B Description Logics %D 2014 %E Bienvenu, Meghyn %E Ortiz, Magdalena %E Rosati, Riccardo %E Simkus, Mantas %I CEUR-WS.org %K dblp %P 591-594 %T Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability. %U http://dblp.uni-trier.de/db/conf/dlog/dlog2014.html#KotekSVZ14 %V 1193

@inproceedings{conf/dlog/KotekSVZ14, added-at = {2019-05-28T00:00:00.000+0200}, author = {Kotek, Tomer and Simkus, Mantas and Veith, Helmut and Zuleger, Florian}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/224c0af257588722aed8e70b97c7b5f7f/dblp}, booktitle = {Description Logics}, crossref = {conf/dlog/2014}, editor = {Bienvenu, Meghyn and Ortiz, Magdalena and Rosati, Riccardo and Simkus, Mantas}, ee = {http://ceur-ws.org/Vol-1193/paper_35.pdf}, interhash = {787653203b49638d3a2c68c9cac2336b}, intrahash = {24c0af257588722aed8e70b97c7b5f7f}, keywords = {dblp}, pages = {591-594}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2019-09-27T18:08:53.000+0200}, title = {Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability.}, url = {http://dblp.uni-trier.de/db/conf/dlog/dlog2014.html#KotekSVZ14}, volume = 1193, year = 2014 }