( en | de | ru )

 

Disambiguation of "Pnueli, Amir"

Author of the publication

copydeleteadd this publication to your clipboard
STATEMATE: A Working Environment for the Development of Complex Reactive Systems.

, , , , , , , and . IEEE Trans. Software Eng., 16 (4): 403-414 (1990)

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

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)A Linear-History Semantics for Languages for Distributed Programming., , and . Theor. Comput. Sci., (1984)Verification by Augmented Abstraction: The Automata-Theoretic View., , and . J. Comput. Syst. Sci., 62 (4): 668-690 (2001)From Real-time Logic to Timed Automata., , , and . J. ACM, 66 (3): 19:1-19:31 (2019)Temporal Verification of Reactive Systems: Safety, and . Springer, New York, (1995)A Choppy Logic, and . LICS, page 306-313. IEEE Computer Society, (1986)A Temporal Proof Methodology for Reactive Systems., and . NATO ASI PDC, volume 118 of NATO ASI Series, page 287-323. Springer, (1992)On the Development of Reactive Systems., and . Logics and Models of Concurrent Systems, volume 13 of NATO ASI Series, page 477-498. Springer, (1984)Completing the Temporal Picture, and . (1991)The Temporal Semantics of Concurrent Programs.. Semantics of Concurrent Computation, volume 70 of Lecture Notes in Computer Science, page 1-20. Springer, (1979)