Title of article :
The power of first-order quantification over states in branching and linear time temporal logics
Author/Authors :
Krishnendu Chatterjee، نويسنده , , Pallab Dasgupta، نويسنده , , P. P. Chakrabarti، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2004
Pages :
10
From page :
201
To page :
210
Keywords :
model checking , Verification , Linear temporal logic , formal methods
Journal title :
Information Processing Letters
Serial Year :
2004
Journal title :
Information Processing Letters
Record number :
129945
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=129945
بازگشت