« Home

Person. Zohar Manna [manna]

  • Professor (deceased)
  • Stanford University
  • https://en.wikipedia.org/wiki/Zohar_Manna

Related

    Institution. Stanford University [stanford]

    • California, USA
    • https://www.stanford.edu/

    Contributions

      Reference. A Hierarchy of Temporal Properties [manna-pnueli-1990]

      • August 1, 1990
      • Zohar Manna, Amir Pnueli
      • PODC '90: Ninth Annual ACM Symposium on Principles of Distributed Computing
      • 10.1145/93385.93442