Home Advanced Search

Advanced Search - Page 1

Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Amir Pnueli (auth.), Doron A. Peled, Yih-Kuen Tsay (eds.)
Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Doron Peled (auth.), Rajeev Alur, Doron A. Peled (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.)
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
  • PDF
  • English-French
  • Year: 1979
  • Author: Amir Pnueli (auth.), Gilles Kahn (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.)
Model Checking Software: 8th International SPIN Workshop Toronto, Canada, May 19–20, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Doron Peled, Lenore Zuck (auth.), Matthew Dwyer (eds.)
Computer Aided Verification: 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: David L. Dill (auth.), Nicolas Halbwachs, Doron Peled (eds.)
Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3–5, 2003 Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: David Berlinski (auth.), Oded Maler, Amir Pnueli (eds.)
search