A clausal resolution method for extended computation tree logic ECTL
Under an Elsevier user license
open archive
Keywords
Branching-time
Automated deduction
Resolution
Program specification and verification
Cited by (0)
Copyright © 2005 Elsevier B.V. All rights reserved.