Karanam Lakshmi Manasa - Dokumente zum Namen

(1 - 8 von 8

)

www.slideshare.net

View all of Lakshmi Manasa's Presentations.

arxiv.org

... Revisiting Robustness in Priced Timed Games. Authors: Shibashis Guha, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi.

independent.academia.edu

Academia.edu is a place to share and follow research.

arxiv.org

Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi. Motivated by the success of bounded model checking framework for finite ...

dokumen.tips

Karanam Lakshmi Manasa Dandhuluri Akhila Devi Muppaneni Amrutha Chowdary Dasari Bhagyasri.

arxiv.org

Authors: Thomas Brihaye, Gilles Geeraerts, Shankara Narayanan Krishna, Lakshmi Manasa, Benjamin Monmege, Ashutosh Trivedi.

pdfslide.net

Karanam Lakshmi Manasa TCS Ltd., 23rd to 27th Sep, Botta Prathyusha Virtusa., 19tth to 20th Oct, ... › Documents

Verwandte Suchanfragen zu Karanam Lakshmi Manasa

sortiert nach Relevanz / Datum

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Dokumente zum Namen Karanam Lakshmi Manasa