Home Advanced Search

Advanced Search - Page 1

Computer Aided Verification: 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Amir Pnueli (auth.), E. Allen Emerson, Aravinda Prasad Sistla (eds.)
Computer Aided Verification: 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Amir Pnueli (auth.), E. Allen Emerson, Aravinda Prasad Sistla (eds.)
FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science: 20th Conference New Delhi, India, December 13–15, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: E. Allen Emerson (auth.), Sanjiv Kapoor, Sanjiva Prasad (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.)
Logics and Models of Concurrent Systems
  • PDF
  • English
  • Year: 1985
  • Author: E. M. Clarke, M. C. Browne, E. A. Emerson, A. P. Sistla (auth.), Krzysztof R. Apt (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