Design Verification of Automotive Electrical Circuits
Alex McManus, Chris Price, Neal Snooke, Richard Joseph · 2006
A.G.McManus, C.J.Price, N.Snooke, R.Joseph, Design Verification of Automotive Electrical Circuits. Proceedings 13th International Workshop on Qualitative Reasoning, Loch Awe, 1999. pp. 153-159, ISBN 0-903878-60-7