مرکز منطقه ای اطلاع رساني علوم و فناوري - Combining Deduction and Model Checking into Tableaux and Algorithms for Converse-PDL

Title of article :

Combining Deduction and Model Checking into Tableaux and Algorithms for Converse-PDL

Author/Authors :

Giuseppe De Giacomo، نويسنده , , Fabio Massacci، نويسنده ,

Issue Information :

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

Pages :

From page :

117

To page :

137

Journal title :

Information and Computation

Serial Year :

2000

Journal title :

Information and Computation

Record number :

261919

Link To Document :