Improved Symbolic Verification Using Partitioning Techniques.

Subramanian K. Iyer Debashis Sahoo Christian Stangier Amit Narayan Jawahar Jain

Published in: CHARME (2003)

Keyphrases

fingerprint verification
database
databases
model checking
search engine
three dimensional
relational databases