International Workshop on Description Logics

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
International Workshop on Description Logics
 

Publications Publikationen

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Calvanese, Diego ; Kotek, Tomer ; Simkus, Mantas ; Veith, Helmut ; Zuleger, Florian Shape and Content: Incorporating Domain Knowledge into Shape AnalysisKonferenzbeitrag Inproceedings2014
2Kotek, Tomer ; Simkus, Mantas ; Veith, Helmut ; Zuleger, Florian Towards a Description Logic for Program Analysis: Extending ALCQIO with ReachabilityKonferenzbeitrag Inproceedings2014