Publication | Closed Access

A directed relation graph method for mechanism reduction

Directed GraphEngineeringGraph TheoryAutomated ReasoningStructural Graph TheoryMechanism ReductionFormal MethodsComputer ScienceMechanism Analysis