Home Advanced Search

Advanced Search - Page 1

Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Ittai Balaban, Amir Pnueli, Lenore D. Zuck (auth.), Farn Wang (eds.)
Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Radhia Cousot (auth.), Francesco Logozzo, Doron A. Peled, Lenore D. Zuck (eds.)
Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Radhia Cousot (auth.), Francesco Logozzo, Doron A. Peled, Lenore D. Zuck (eds.)
Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Rajeev Alur (auth.), Farn Wang (eds.)
Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Rajeev Alur (auth.), Farn Wang (eds.)
Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Andreas Podelski (auth.), Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay (eds.)
Hybrid and Real-Time Systems: International Workshop, HART'97 Grenoble, France, March 26–28, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Amir Pnueli (auth.), Oded Maler (eds.)
Semantics of Concurrent Computation: Proceedings of the International Symposium, Evian, France, July 2–4, 1979
  • DJVU
  • English-French
  • Year: 1979
  • Author: Amir Pnueli (auth.), Gilles Kahn (eds.)
Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18–20, 1992 Proceedings
  • PDF
  • English
  • Year: 1992
  • Author: Amir Pnueli (auth.), Rudrapatna Shyamasundar (eds.)
Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18–20, 1992 Proceedings
  • DJVU
  • English
  • Year: 1992
  • Author: Amir Pnueli (auth.), Rudrapatna Shyamasundar (eds.)
search