A Geometric View of Partial Order Reduction.

Eric Goubault Tobias Heindel Samuel Mimram

Published in: MFPS (2013)

Keyphrases

partial order reduction
model checking
petri net
geometric information
databases
multimedia
case study
three dimensional
optimal solution
multi agent systems
multi view
multiple views
geometric structure
geometric features