A. P. Sistla
- The complexity of propositional linear temporal logics
1985/07/01 by A. Prasad Sistla, A. P. Sistla, E. M. Clarke · 29 citations
Computer Science · #Logic, Reasoning, and Knowledge #Advanced Algebra and Logic #Logic, programming, and type systems
- Automatic verification of finite-state concurrent systems using temporal logic specifications
1986/04/01 by E. M. Clarke, E. A. Emerson, E. Allen Emerson +2 · 27 citations
Biochemistry, Genetics and Molecular Biology · Computer Science · #DNA and Biological Computing #Formal Methods in Verification #Logic, programming, and type systems