Procedures and concurrency: A study in proof.

Rob Gerth Willem P. de Roever Marly Roncken

Published in: Symposium on Programming (1982)

Keyphrases

genetic algorithm
empirical studies
knowledge base
image processing
case study
data sets
artificial intelligence
database systems
search algorithm
data management
survey data