%0 Conference Paper %1 conf/sefm/WeitlNF10 %A Weitl, Franz %A Nakajima, Shin %A Freitag, Burkhard %B SEFM %D 2010 %E Fiadeiro, José Luiz %E Gnesi, Stefania %E Maggiolo-Schettini, Andrea %I IEEE Computer Society %K %P 232-243 %T Structured Counterexamples for the Temporal Description Logic ALCCTL. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2010.html#WeitlNF10 %@ 978-0-7695-4153-2

@inproceedings{conf/sefm/WeitlNF10, added-at = {2023-12-13T06:44:37.000+0100}, author = {Weitl, Franz and Nakajima, Shin and Freitag, Burkhard}, biburl = {https://www.bibsonomy.org/bibtex/25a84dfc879c0ca08966591a4ff74c00a/admin}, booktitle = {SEFM}, crossref = {conf/sefm/2010}, editor = {Fiadeiro, José Luiz and Gnesi, Stefania and Maggiolo-Schettini, Andrea}, ee = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2010.36}, interhash = {b133143da26ccde355ab1fe3edfb83ea}, intrahash = {5a84dfc879c0ca08966591a4ff74c00a}, isbn = {978-0-7695-4153-2}, keywords = {}, pages = {232-243}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T06:44:37.000+0100}, title = {Structured Counterexamples for the Temporal Description Logic ALCCTL.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2010.html#WeitlNF10}, year = 2010 }