Shoham Ben-David, Richard J. Trefler, Grant E. Weddell. Bounded Model Checking with Description Logic Reasoning. In Nicola Olivetti, editor, Automated Reasoning with Analytic Tableaux and Related Methods, 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings. Volume 4548 of Lecture Notes in Computer Science, pages 60-72, Springer, 2007. [doi]
@inproceedings{Ben-DavidTW07:0,
title = {Bounded Model Checking with Description Logic Reasoning},
author = {Shoham Ben-David and Richard J. Trefler and Grant E. Weddell},
year = {2007},
doi = {10.1007/978-3-540-73099-6_7},
url = {http://dx.doi.org/10.1007/978-3-540-73099-6_7},
tags = {model checking, meta-model, e-science, logic, Meta-Environment},
researchr = {https://researchr.org/publication/Ben-DavidTW07%3A0},
cites = {0},
citedby = {0},
pages = {60-72},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings},
editor = {Nicola Olivetti},
volume = {4548},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-73098-9},
}