Login / Signup
An Optimised Partial-Order Approach to the Verification of System Components.
Simon St. James
Ulrich Ultes-Nitsche
Published in:
NDDL/VVEIS (2003)
Keyphrases
</>
partial order
partially ordered
total order
partial ordering
stable marriage
lattice structure
model checking
dominance relation
causal links
data sets
sequential patterns
conceptual graphs
maximum weight
conditional independencies