Alias Analysis by Means of a Model Checker.

Vincenzo Martena Pierluigi San Pietro

Published in: CC (2001)

Keyphrases

data mining
pattern recognition
artificial intelligence
data analysis
expert systems
relational databases
image analysis
state space
rough sets
domain specific
petri net