Verification Across Intellectual Property Boundaries.

Sagar Chaki Christian Schallhart Helmut Veith

Published in: CAV (2007)

Keyphrases

intellectual property
clef ip
model checking
patent search
face verification
patent information
e government
patent documents
prior art
signature verification
verification method
formal verification
object boundaries
data sets
knowledge management
decision making
information systems
artificial intelligence