( en | de | ru )

 

Disambiguierung von "Shankar, Natarajan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Fair Synchronous Transition Systems and Their Liveness Proofs.

, , und . FTRTFT, Volume 1486 von Lecture Notes in Computer Science, Seite 198-209. Springer, (1998)

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.

Kasyap Natarajan

Paruthiure Natarajan

Natarajan Thiagarajan

Arupon Natarajan

Shankar Vembu

 

Weitere Publikationen von Autoren mit dem selben Namen

Proof Search (Tutorial)., und . ICLP Workshop: Proof-Theoretical Extensions on Logic Programming, (1994)The verified software initiative: A manifesto., , , und . ACM Comput. Surv., 41 (4): 22:1-22:8 (2009)Code Generation Using a Formal Model of Reference Counting., und . NFM, Volume 9690 von Lecture Notes in Computer Science, Seite 150-165. Springer, (2016)Unraveling a Card Trick., und . Essays in Memory of Amir Pnueli, Volume 6200 von Lecture Notes in Computer Science, Seite 195-201. Springer, (2010)PVS: Combining Specification, Proof Checking, and Model Checking.. FMCAD, Volume 1166 von Lecture Notes in Computer Science, Seite 257-264. Springer, (1996)An Integration of Model Checking with Automated Proof Checking., , und . CAV, Volume 939 von Lecture Notes in Computer Science, Seite 84-97. Springer, (1995)Verification by Abstraction.. 10th Anniversary Colloquium of UNU/IIST, Volume 2757 von Lecture Notes in Computer Science, Seite 367-380. Springer, (2002)Using Decision Procedures with a Higher-Order Logic.. TPHOLs, Volume 2152 von Lecture Notes in Computer Science, Seite 5-26. Springer, (2001)A Tutorial on Using PVS for Hardware Verification., , , und . TPCD, Volume 901 von Lecture Notes in Computer Science, Seite 258-279. Springer, (1994)Static Analysis for Safe Destructive Updates in a Functional Language.. LOPSTR, Volume 2372 von Lecture Notes in Computer Science, Seite 1-24. Springer, (2001)