مرکز منطقه ای اطلاع رساني علوم و فناوري

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 :

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 :