Sciweavers

58
Voted
AMAI
2006
Springer
14 years 8 months 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