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 :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=262357
بازگشت