Sciweavers

AMAI
2006
Springer
14 years 16 days ago
A clausal resolution method for branching-time logic ECTL+
We expand the applicability of the clausal resolution technique to the branching-time temporal logic ECTL
Alexander Bolotov, Artie Basukoski