Skip to main navigation Skip to search Skip to main content

Model checking of restricted CTL* formulas using ALCKR+

  • Technische Universität Darmstadt

Research output: Contribution to journalConference articlepeer-review

Original languageEnglish
Pages (from-to)539-540
Number of pages2
JournalCEUR Workshop Proceedings
Volume250
StatePublished - 2007
Externally publishedYes
Event20th International Workshop on Description Logics, DL 2007 - Brixen/Bressanone, Italy
Duration: 8 Jun 200710 Jun 2007

Cite this