( en | de | ru )

 

Disambiguierung von "Pnueli, Amir"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Liveness by Invisible Invariants.

, , , und . FORTE, Volume 4229 von Lecture Notes in Computer Science, Seite 356-371. Springer, (2006)

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.

Mahmud Amirian-Khaffadjeh

Iradj Amirzadeh-Asl

Manutschehr Amirfeyz

Borzu Amirhosseini

Mansoor Anwer Ismail Amir

 

Weitere Publikationen von Autoren mit dem selben Namen

Verification of parameterized programs., und . Specification and validation methods, Oxford University Press, (1993)Sticks and stones: a coding scheme for parameterized verification.. PODC, Seite 14. ACM, (2001)How to Cook a Temporal Proof System for Your Pet Language., und . POPL, Seite 141-154. ACM Press, (1983)Communication with Directed Logic Variables., , , und . POPL, Seite 221-232. ACM Press, (1991)Proving Termination of Prolog Programs., , , und . Logic of Programs, Volume 193 von Lecture Notes in Computer Science, Seite 89-105. Springer, (1985)Verification of Concurrent Programs: Temporal Proof Principles., und . Logic of Programs, Volume 131 von Lecture Notes in Computer Science, Seite 200-252. Springer, (1981)Simple Programs and Their Decision Problems., und . ICALP, Volume 52 von Lecture Notes in Computer Science, Seite 380-390. Springer, (1977)Finite Models for Deterministic Propositional Dynamic Logic., , und . ICALP, Volume 115 von Lecture Notes in Computer Science, Seite 249-263. Springer, (1981)Realizing an Equational Specification., und . ICALP, Volume 115 von Lecture Notes in Computer Science, Seite 459-478. Springer, (1981)What Good Are Digital Clocks?, , und . ICALP, Volume 623 von Lecture Notes in Computer Science, Seite 545-558. Springer, (1992)