( en | de | ru )

 

Disambiguierung von "Thati, Prasanna"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automated Assume-Guarantee Reasoning for Simulation Conformance.

, , , und . CAV, Volume 3576 von Lecture Notes in Computer Science, Seite 534-547. Springer, (2005)

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.

Thati Madhusudhan

Prasanna Rajagopalan

Hara Prasanna Misra

Debi Prasanna Ganguly

Prasanna Venkatesh Rangadurai

 

Weitere Publikationen von Autoren mit dem selben Namen

Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing., und . CALCO, Volume 3629 von Lecture Notes in Computer Science, Seite 379-394. Springer, (2005)A actor-based architecture for customizing and controlling agent ensembles., , und . IEEE Intell. Syst., 14 (2): 38-44 (1999)Narrowing and Rewriting Logic: from Foundations to Applications., , und . WFLP, Volume 177 von Electronic Notes in Theoretical Computer Science, Seite 5-33. Elsevier, (2006)Natural Rewriting for General Term Rewriting Systems., , und . LOPSTR, Volume 3573 von Lecture Notes in Computer Science, Seite 101-116. Springer, (2004)An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language., und . Essays in Memory of Ole-Johan Dahl, Volume 2635 von Lecture Notes in Computer Science, Seite 26-57. Springer, (2004)Techniques for Executing and Reasoning about Specification Diagrams., , und . AMAST, Volume 3116 von Lecture Notes in Computer Science, Seite 521-536. Springer, (2004)A Temporal Logic Based Framework for Intrusion Detection., , und . FORTE, Volume 3235 von Lecture Notes in Computer Science, Seite 359-376. Springer, (2004)Natural Narrowing for General Term Rewriting Systems., , und . RTA, Volume 3467 von Lecture Notes in Computer Science, Seite 279-293. Springer, (2005)Complete symbolic reachability analysis using back-and-forth narrowing., und . Theor. Comput. Sci., 366 (1-2): 163-179 (2006)Automated Assume-Guarantee Reasoning for Simulation Conformance., , , und . CAV, Volume 3576 von Lecture Notes in Computer Science, Seite 534-547. Springer, (2005)