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
21
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