Source Transformation for Concurrency Analysis.

Timothy Cassidy James R. Cordy Thomas R. Dean Jürgen Dingel

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

databases
database systems
database
neural network
computer vision
case study
three dimensional
relational databases