Deriving Bisimulation Congruences in the Presence of Negative Application Conditions.

Guilherme Rangel Barbara König Hartmut Ehrig

Published in: FoSSaCS (2008)

Keyphrases

wide range
key technologies
real time
databases
neural network
decision making
special case
genetic algorithm
search engine
information systems
image processing
three dimensional
management system
decision support