Direct Verification of Bisimulations.

Martín Llamas Nistal Juan Quemada Manuel J. Fernández Iglesias

Published in: FORTE (1996)

Keyphrases

model checking
face verification
database
artificial intelligence
computer vision
digital libraries
information retrieval
case study
image sequences
special case
formal verification
asynchronous circuits