مرکز منطقه ای اطلاع رساني علوم و فناوري - Specification in CTL+Past for Verification in CTL

Title of article :

Specification in CTL+Past for Verification in CTL

Author/Authors :

F. Laroussinie، نويسنده , , Ph. Schnoebelen، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 1999

Pages :

From page :

236

To page :

263

Journal title :

Information and Computation

Serial Year :

1999

Journal title :

Information and Computation

Record number :

261879

Link To Document :