Title of article
BTL2 and the expressive power of ECTL+
Author/Authors
Alexander Rabinovich، نويسنده , , Philippe Schnoebelen، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2006
Pages
22
From page
1023
To page
1044
Keywords
Expressivity of branching-time temporal logic , model checking
Journal title
Information and Computation
Serial Year
2006
Journal title
Information and Computation
Record number
262357
Link To Document