Login / Signup

Checking Partial-Order Properties of Vector Addition Systems with States.

Florent AvellanedaRémi Morin
Published in: ACSD (2013)
Keyphrases
  • partial order
  • partially ordered
  • total order
  • desirable properties
  • conceptual graphs
  • partial ordering
  • association rules