Model Checking Using Description Logic.

TitleModel Checking Using Description Logic.
Publication TypeJournal Article
Year of Publication2010
AuthorsBen-David, S., R. Trefler, and G. Weddell
JournalJ. Log. Comput.
Volume20
Pagination111–131
DOI10.1093/logcom/exn062