A. P. Sistla
First name(s): A. P.
Last name(s): Sistla

Publications of A. P. Sistla
1985
A. P. Sistla and E. M. Clarke, The complexity of propositional linear temporal logics (1985), in: Journal of the Association for Computing Machinery, 32:3(733--749)