( en | de | ru )

 

Disambiguierung von "Krishnan, Sriram C."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Rabin Index and Chain Automata, with Applications to Automatas and Games.

, , , und . CAV, Volume 939 von Lecture Notes in Computer Science, Seite 253-266. Springer, (1995)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Sriram Rallabhandi

Krishnan Sircar

Sriram Varadarajan

Ajay Krishnan

Sriram Subramanian

 

Weitere Publikationen von Autoren mit dem selben Namen

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