Model checking the basic modalities of CTL with Description Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Shoham Ben-David, Richard J. Trefler, Grant E. Weddell. Model checking the basic modalities of CTL with Description Logic. In Bijan Parsia, Ulrike Sattler, David Toman, editors, Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006. Volume 189 of CEUR Workshop Proceedings, CEUR-WS.org, 2006. [doi]

This author has not been identified. Look up 'Shoham Ben-David' in GoogleThis author has not been identified. Look up 'Richard J. Trefler' in GoogleThis author has not been identified. Look up 'Grant E. Weddell' in Google

runs on WebDSL