( en | de | ru )

 

Disambiguation of "Pnueli, Amir"

Author of the publication

copydeleteadd this publication to your clipboard
Two Decades of Temporal Logic: Achievements and Challenges (Abstract).

. FOCS, page 78. IEEE Computer Society, (1997)

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

Mahmud Amirian-Khaffadjeh

Iradj Amirzadeh-Asl

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)A Deductive Proof System for CTL., and . CONCUR, volume 2421 of Lecture Notes in Computer Science, page 24-40. Springer, (2002)Formal Modeling of C. elegans Development: A Scenario-Based Approach., , , , , , and . CMSB, volume 2602 of Lecture Notes in Computer Science, page 4-20. Springer, (2003)Is the Interesting Part of Process Logic Uninteresting - A Translation from PL to PDL., , and . POPL, page 347-360. ACM Press, (1982)Verification of Multiprocess Probabilistic Protocols., and . PODC, page 12-27. ACM, (1984)Program analysis for compiler validation., and . PASTE, page 1-7. ACM, (2008)Embedded Systems: Challenges in Specification and Verification.. EMSOFT, volume 2491 of Lecture Notes in Computer Science, page 1-14. Springer, (2002)System Specification and Refinement in Temporal Logic.. FSTTCS, volume 652 of Lecture Notes in Computer Science, page 1-38. Springer, (1992)Applications of Formal Methods in Biology.. FTRTFT, volume 2469 of Lecture Notes in Computer Science, page 81-82. Springer, (2002)Development of Hybrid Systems.. FTRTFT, volume 863 of Lecture Notes in Computer Science, page 77-85. Springer, (1994)