( en | de | ru )

 

Disambiguation of "Pnueli, Amir"

Author of the publication

copydeleteadd this publication to your clipboard
Rigorous development of embedded systems.

. CASES, page 1. ACM, (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Manutschehr Amirfeyz

Iradj Amirzadeh-Asl

Mahmud Amirian-Khaffadjeh

Mansoor Anwer Ismail Amir

Belal Amireh

 

Other publications of authors with the same name

A Choppy Logic, and . LICS, page 306-313. IEEE Computer Society, (1986)Bridging the Gap between Fair Simulation and Trace Inclusion., , and . CAV, volume 2725 of Lecture Notes in Computer Science, page 381-393. Springer, (2003)A Decision Algorithm for Full Propositional Temporal Logic., , , and . CAV, volume 697 of Lecture Notes in Computer Science, page 97-109. Springer, (1993)Temporal Logic for Scenario-Based Specifications., , , , and . TACAS, volume 3440 of Lecture Notes in Computer Science, page 445-460. Springer, (2005)Liveness with Incomprehensible Ranking., , , and . TACAS, volume 2988 of Lecture Notes in Computer Science, page 482-496. Springer, (2004)A Comparison of Two Verification Methods for Speculative Instruction Execution., and . TACAS, volume 1785 of Lecture Notes in Computer Science, page 487-502. Springer, (2000)Shape Analysis of Single-Parent Heaps., , and . VMCAI, volume 4349 of Lecture Notes in Computer Science, page 91-105. Springer, (2007)There Exit Decidable Context Free Propositional Dynamic Logics., and . Logic of Programs, volume 164 of Lecture Notes in Computer Science, page 290-312. Springer, (1983)Further Results on Propositional Dynamic Logic of Nonregular Programs., , and . Logic of Programs, volume 131 of Lecture Notes in Computer Science, page 124-136. Springer, (1981)Time for Concurrency., and . 25th Anniversary of INRIA, volume 653 of Lecture Notes in Computer Science, page 129-153. Springer, (1992)