Sigref- A Symbolic Bisimulation Tool Box.

Ralf Wimmer Marc Herbstritt Holger Hermanns Kelley Strampp Bernd Becker

Published in: ATVA (2006)

Keyphrases

data model
databases
database
high level
computer vision
symbolic representation
data mining
social networks
multiscale
expert systems
open source
user friendly
software tools
analysis tool