« Home

Conference. PODC '90: Ninth Annual ACM Symposium on Principles of Distributed Computing [podc90]

  • August 1990
  • Quebec City, Quebec, Canada
  • 10.1145/93385

Backlinks

    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