Author: "A. Prasad Sistla" / Journal: lecture notes in computer science - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"A. Prasad Sistla"' showing total 3 results

Start Over Author "A. Prasad Sistla" Journal lecture notes in computer science

3 results on '"A. Prasad Sistla"'

1. Model Checking Indistinguishability of Randomized Security Protocols

Author: Bauer, Matthew S., primary, Chadha, Rohit, additional, Prasad Sistla, A., additional, and Viswanathan, Mahesh, additional
Published: 2018
Full Text: View/download PDF

2. Querying the uncertain position of moving objects

Author: Prasad Sistla, A., primary, Wolfson, Ouri, additional, Chamberlain, Sam, additional, and Dao, Son, additional
Published: 1998
Full Text: View/download PDF

3. Deciding branching time logic: A triple exponential decision procedure for CTL

Author: Allen Emerson, E., primary and Prasad Sistla, A., additional
Published: 1984
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results