Author: "Viswanathan, Mahesh" / Journal: theoretical 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 '"Viswanathan, Mahesh"' showing total 3 results

Start Over Author "Viswanathan, Mahesh" Journal theoretical computer science

3 results on '"Viswanathan, Mahesh"'

1. A decidable class of planar linear hybrid systems

Author: Prabhakar, Pavithra, Vladimerou, Vladimeros, Viswanathan, Mahesh, and Dullerud, Geir
Published: 2015
Full Text: View/download PDF

2. Specifications for decidable hybrid games

Author: Vladimerou, Vladimeros, Prabhakar, Pavithra, Viswanathan, Mahesh, and Dullerud, Geir
Published: 2011
Full Text: View/download PDF

3. Deciding branching time properties for asynchronous programs

Author: Chadha, Rohit and Viswanathan, Mahesh
Published: 2009
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results