About the expressive power of CTL combinators
- 23 June 1995
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 54 (6) , 343-345
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Research on Automatic Verification of Finite-State Concurrent SystemsAnnual Review of Computer Science, 1987
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- “Sometimes” and “not never” revisitedJournal of the ACM, 1986