Login / Signup
The application of program-proving techniques to the verification of synchronization processes.
Karl N. Levitt
Published in:
AFIPS Fall Joint Computing Conference (1) (1972)
Keyphrases
</>
decision support
database
information technology
data sets
databases
information systems
case study
database systems
open source
application specific
programming environment