An Improvement of Partial-Order Verification.

Hans van der Schoot Hasan Ural

Published in: Softw. Test. Verification Reliab. (1998)

Keyphrases

partial order
partially ordered
total order
partial ordering
model checking
set theory
lattice structure
stable marriage
data sets
sequential patterns
data mining
domain specific
preference relations
vertex cover