مرکز منطقه ای اطلاع رساني علوم و فناوري - A Partial Order Approach to Branching Time Logic Model Checking

Title of article :

A Partial Order Approach to Branching Time Logic Model Checking

Author/Authors :

Rob Gerth، نويسنده , , Ruurd Kuiper، نويسنده , , Doron Peled، نويسنده , , Wojciech Penczek، نويسنده ,

Issue Information :

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

Pages :

From page :

132

To page :

152

Journal title :

Information and Computation

Serial Year :

1999

Journal title :

Information and Computation

Record number :

261828

Link To Document :