Publication | Closed Access

Circal: A calculus for circuit description

EngineeringCircuit DesignAutomated ReasoningFormal MethodsCircuit DescriptionLinear CircuitCircuit Analysis