A. Prasad Sistla

1. 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
2. Automatic verification of finite-state concurrent systems using temporal logic specifications
   1986/04/01 by E. M. Clarke, E. Allen Emerson, E. A. Emerson +2 · 28 citations
   Biochemistry, Genetics and Molecular Biology · Computer Science · #DNA and Biological Computing #Formal Methods in Verification #Logic, programming, and type systems
3. Reasoning about systems with many processes
   1992/07/01 by Steven M. German, A. Prasad Sistla · 18 citations
   Computer Science · #Formal Methods in Verification #Petri Nets in System Modeling #Logic, programming, and type systems