Multiset rewriting for the verification of depth-bounded processes with name binding.

Fernando Rosa-Velardo María Martos-Salgado

Published in: Inf. Comput. (2012)

Keyphrases

depth information
relational databases
databases
artificial intelligence
high quality
depth map
model checking
computational models
face verification
stochastic processes