Searching for "Combining Deduction and Model Checking into Tableaux and Algorithms for Converse-PDL." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Combining Deduction and Model Checking into Tableaux and Algorithms for Converse-PDL
by Giuseppe De Giacomo, Fabio Massacci — 1998 — Information and Computation
…Combining Deduction and Model Checking into Tableaux and Algorithms for Converse-PDL ? Giuseppe De…
Cited by 45 (7 self) – Add To MetaCart

Combining Deduction and Model Checking into Tableaux and Algorithms for
by Converse-Pdl Giuseppe, Fabio Massacci
… and Model Checking into Tableaux and Algorithms for Converse-PDL ? Giuseppe De Giacomo and Fabio Massacci…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB