Bisimulation: From The Origins to Today.

Davide Sangiorgi

Published in: LICS (2004)

Keyphrases

artificial intelligence
information technology
data sets
real world
information retrieval
multimedia
search algorithm
medical images
world wide