Sign in
Verifying configuration files.
Ciera Jaspan
Published in:
SPLASH/OOPSLA Companion (2010)
Keyphrases
</>
databases
model checking
database
metadata
case study
image segmentation
real world
multiresolution
constraint satisfaction problems
product configuration