Verifiable properties of database transactions

  • Authors:

  • Michael Benedikt;Timothy Griffin;Leonid Libkin

  • Affiliations:

  • Bell Labs, Naperville, IL;Bell Labs, Murray Hill, NJ;Bell Labs, Murray Hill, NJ

  • Venue:
  • Information and Computation
  • Year:
  • 1998

Quantified Score

Hi-index 0.01

Visualization

Abstract