Measuring progress in Premo order-verification.

Ryan B. Bond Curtis C. Ober Patrick M. Knupp

Published in: Eng. Comput. (2007)

Keyphrases

data sets
databases
neural network
decision trees
database systems
high quality
model checking