Amir Pnueli

Showing the single result

{PDF} Formal Techniques for Networked and Distributed Systems – FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings Ittai Balaban, Amir Pnueli, Lenore D. Zuck (auth.), Farn Wang (eds.)