( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Robust stability of multi-hop control networks.

, , , , и . CDC, стр. 2210-2215. IEEE, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Rajeev Sudra

Naresh Kumar Aluri

Rajeev Gangula

Sirisha Aluri

Bhaskar Reddy Aluri

 

Другие публикации лиц с тем же именем

Formal verification of hybrid systems.. EMSOFT, стр. 273-278. ACM, (2011)Model-Checking of Real-Time Systems: A Telecommunications Application (Experience Report)., , , и . ICSE, стр. 514-524. ACM, (1997)Parametric real-time reasoning., , и . STOC, стр. 592-601. ACM, (1993)Adding nesting structure to words., и . J. ACM, 56 (3): 16:1-16:43 (2009)Parametric Temporal Logic for "Model Measuring"., , , и . ICALP, том 1644 из Lecture Notes in Computer Science, стр. 159-168. Springer, (1999)A Temporal Logic of Nested Calls and Returns., , и . TACAS, том 2988 из Lecture Notes in Computer Science, стр. 467-481. Springer, (2004)Modular Strategies for Infinite Games on Recursive Graphs., , и . CAV, том 2725 из Lecture Notes in Computer Science, стр. 67-79. Springer, (2003)MOCHA: Modularity in Model Checking., , , , , и . CAV, том 1427 из Lecture Notes in Computer Science, стр. 521-525. Springer, (1998)Exploiting Behavioral Hierarchy for Efficient Model Checking., , и . CAV, том 2404 из Lecture Notes in Computer Science, стр. 338-342. Springer, (2002)Local Liveness for Compositional Modeling of Fair Reactive Systems., и . CAV, том 939 из Lecture Notes in Computer Science, стр. 166-179. Springer, (1995)