Variable Order Verification Use of Logic Representation.

P. W. Chandana Prasad M. Maria Dominic Ashutosh Kumar Singh

Published in: ICADL (2003)

Keyphrases

real time
data sets
social networks
computer vision
information systems
database systems
object recognition
model checking