( en | de | ru )

 

Disambiguierung von "Pnueli, Amir"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Tight Bounds on the Complexity of Cascaded Decomposition of Automata

, und . FOCS, Seite 672-682. IEEE Computer Society, (1990)0-8186-2082-X.

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.

Manutschehr Amirfeyz

Iradj Amirzadeh-Asl

Mahmud Amirian-Khaffadjeh

Mansoor Anwer Ismail Amir

Belal Amireh

 

Weitere Publikationen von Autoren mit dem selben Namen

Orthogonal Polyhedra: Representation and Computation., , und . HSCC, Volume 1569 von Lecture Notes in Computer Science, Seite 46-60. Springer, (1999)Ranking Abstraction of Recursive Programs., , und . VMCAI, Volume 3855 von Lecture Notes in Computer Science, Seite 267-281. Springer, (2006)Translation Validation., , und . TACAS, Volume 1384 von Lecture Notes in Computer Science, Seite 151-166. Springer, (1998)Range Allocation for Equivalence Logic., , und . FSTTCS, Volume 2245 von Lecture Notes in Computer Science, Seite 317-333. Springer, (2001)Refining the Undecidability Frontier of Hybrid Automata., und . FSTTCS, Volume 3821 von Lecture Notes in Computer Science, Seite 261-272. Springer, (2005)Formal Verification of the Ricart-Agrawala Algorithm., , und . FSTTCS, Volume 1974 von Lecture Notes in Computer Science, Seite 325-335. Springer, (2000)Parameterized Verification with Automatically Computed Inductive Assertions., , , , und . CAV, Volume 2102 von Lecture Notes in Computer Science, Seite 221-234. Springer, (2001)Revisiting Synthesis of GR(1) Specifications., und . Haifa Verification Conference, Volume 6504 von Lecture Notes in Computer Science, Seite 161-181. Springer, (2010)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)