Two classes of Boolean functions for dependency analysis - Concepedia

Concepedia

Publication | Closed Access

Two classes of Boolean functions for dependency analysis

95

Citations

25

References

1998

Year

Tania Armstrong, Kim Marriott, Peter Schachte, Harald Søndergaard

Science of Computer Programming

Circuit ComplexityDependency AnalysisEngineeringBoolean FunctionBoolean FunctionsProgram AnalysisAutomated ReasoningFormal MethodsSoftware AnalysisComputer ScienceFormal Verification

References

	Year	Citations

Page 1