Title of article
Quantified Computation Tree Logic
Author/Authors
A. C. Patthak، نويسنده , , I. Bhattacharya، نويسنده , , A. Dasgupta، نويسنده , , Pallab Dasgupta، نويسنده , , P. P. Chakrabarti، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 2002
Pages
7
From page
123
To page
129
Keywords
model checking , Computation Tree Logic , Verification
Journal title
Information Processing Letters
Serial Year
2002
Journal title
Information Processing Letters
Record number
129502
Link To Document