Login / Signup
Dynamic Partial Order Reduction for Checking Correctness Against Transaction Isolation Levels.
Ahmed Bouajjani
Constantin Enea
Enrique Román-Calvo
Published in:
CoRR (2023)
Keyphrases
</>
artificial intelligence
dynamic environments
database
neural network
information systems