( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The Rabin Index and Chain Automata, with Applications to Automatas and Games.

, , , и . CAV, том 939 из Lecture Notes in Computer Science, стр. 253-266. Springer, (1995)

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.

Sriram Rallabhandi

Krishnan Sircar

Sriram Varadarajan

Ajay Krishnan

Sriram Subramanian

 

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

Early Quantification and Partitioned Transition Relations., , и . ICCD, стр. 12-19. IEEE Computer Society, (1996)Synthesis of Uninitialized Systems., , , и . ICALP, том 2380 из Lecture Notes in Computer Science, стр. 644-656. Springer, (2002)Efficient multicast on a terabit router., , и . Hot Interconnects, стр. 61-67. IEEE Computer Society, (2004)Engineering Change in a Non-Deterministic FSM Setting., , , , , и . DAC, стр. 451-456. ACM Press, (1996)HSIS: A BDD-Based Environment for Formal Verification., , , , , , , , , и 3 other автор(ы). DAC, стр. 454-459. ACM Press, (1994)Deterministic w Automata vis-a-vis Deterministic Buchi Automata., , и . ISAAC, том 834 из Lecture Notes in Computer Science, стр. 378-386. Springer, (1994)The Rabin Index and Chain Automata, with Applications to Automatas and Games., , , и . CAV, том 939 из Lecture Notes in Computer Science, стр. 253-266. Springer, (1995)Structural Complexity of Omega-Automata., , и . STACS, том 900 из Lecture Notes in Computer Science, стр. 143-156. Springer, (1995)