Home Advanced Search

Advanced Search - Page 1

The Temporal Logic of Reactive and Concurrent Systems: Specification
  • PDF
  • English
  • Year: 1992
  • Author: Zohar Manna, Amir Pnueli (auth.)
Temporal Verification of Reactive Systems: Safety
  • PDF
  • English
  • Year: 1995
  • Author: Zohar Manna, Amir Pnueli
Mathematical Theory of Computation
  • DJVU
  • English
  • Year: 1974
  • Author: Zohar Manna
Lectures on the Logic of Computer Programming
  • DJVU
  • English
  • Year: 1980
  • Author: Zohar Manna
Temporal Verification of Reactive Systems: Safety
  • DJVU
  • English
  • Year: 1995
  • Author: Manna Z., Pnueli A.
Temporal verification of reactive systems: progress
  • PDF
  • English
  • Year: 1996
  • Author: Manna Z., Pnueli A.
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.)
search