Model checking of restricted CTL* formulas using ALCKR+

Model checking of restricted CTL* formulas using ALCK_R+

Research output: Contribution to journal › Conference article › peer-review

Original language	English
Pages (from-to)	539-540
Number of pages	2
Journal	CEUR Workshop Proceedings
Volume	250
State	Published - 2007
Externally published	Yes
Event	20th International Workshop on Description Logics, DL 2007 - Brixen/Bressanone, Italy Duration: 8 Jun 2007 → 10 Jun 2007

@article{5ecfbc9eaff84022bd85cbe789c625b9,

title = "Model checking of restricted CTL* formulas using ALCKR+",

author = "Taufiq Rochaeli and Claudia Eckert",

year = "2007",

language = "English",

volume = "250",

pages = "539--540",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

publisher = "CEUR-WS",

note = "20th International Workshop on Description Logics, DL 2007 ; Conference date: 08-06-2007 Through 10-06-2007",

}

TY - JOUR

T1 - Model checking of restricted CTL* formulas using ALCKR+

AU - Rochaeli, Taufiq

AU - Eckert, Claudia

PY - 2007

Y1 - 2007

UR - http://www.scopus.com/inward/record.url?scp=84872958709&partnerID=8YFLogxK

M3 - Conference article

AN - SCOPUS:84872958709

SN - 1613-0073

VL - 250

SP - 539

EP - 540

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

T2 - 20th International Workshop on Description Logics, DL 2007

Y2 - 8 June 2007 through 10 June 2007

ER -