PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Pnueli, Amir"

Author of the publication

copydeleteadd this publication to your clipboard
Liveness and Acceleration in Parameterized Verification.

, and . CAV, volume 1855 of Lecture Notes in Computer Science, page 328-343. Springer, (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.

Amir Laadhar University of Stuttgart

Amir Reza Zargar University of Stuttgart

Amir Bani Mohammad Ali University of Stuttgart

 

Other publications of authors with the same name

A Linear-History Semantics for Languages for Distributed Programming., , and . Theor. Comput. Sci., (1984)Symmetric and Economical Solutions to the Mutual Exclusion Problem in a Distributed System., , and . Theor. Comput. Sci., (1984)A Choppy Logic, and . LICS, page 306-313. IEEE Computer Society, (1986)Completing the Temporal Picture., and . Theor. Comput. Sci., 83 (1): 91-130 (1991)A compositional approach to CTL* verification., and . Theor. Comput. Sci., 331 (2-3): 397-428 (2005)Temporal verification of reactive systems - safety., and . Springer, (1995)Timing analysis of asynchronous circuits using timed automata., and . CHARME, volume 987 of Lecture Notes in Computer Science, page 189-205. Springer, (1995)The Temporal Semantics of Concurrent Programs.. Semantics of Concurrent Computation, volume 70 of Lecture Notes in Computer Science, page 1-20. Springer, (1979)Embedded Systems: Challenges in Specification and Verification.. EMSOFT, volume 2491 of Lecture Notes in Computer Science, page 1-14. Springer, (2002)Time for Concurrency., and . 25th Anniversary of INRIA, volume 653 of Lecture Notes in Computer Science, page 129-153. Springer, (1992)