Publication | Closed Access

Observability of Boolean networks: A graph-theoretic approach

Circuit ComplexityNetwork ScienceGraph TheoryBoolean NetworksEngineeringAutomated ReasoningBoolean FunctionNetwork AnalysisComputer ScienceProperty TestingFormal Verification