Autosteve: Automated Electrical Design Analysis

Chris Price. Autosteve: Automated Electrical Design Analysis. In Werner Horn, editor, ECAI 2000, Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, Germany, August 20-25, 2000. pages 721-725, IOS Press, 2000.

Abstract

Abstract is missing.