An Implementation of P and V.

Eric C. R. Hehner R. K. Shyamasundar

Published in: Inf. Process. Lett. (1981)

Keyphrases

implementation details
databases
learning algorithm
database systems
object recognition
relational databases
control system
wireless sensor networks
programming language
efficient implementation