Title | Model Checking the Basic Modalities of CTL With Description Logic |
Publication Type | Conference Paper |
Year of Publication | 2006 |
Authors | Ben-David, S., R. J. Trefler, and G. Weddell |
Conference Name | International Workshop on Description Logics (DL) |
URL | http://ceur-ws.org/Vol-189/submission_33.pdf |