Ascent++
Search
equivalent circuit
subgroup of
circuit
,
1
assertions
ReceivesAction
1
shown in fig
0.68