Automating the diagnosis and rectification of design errors with (1989)

by J-C Madre, O Coudert, J P Billon
Venue:PRIAM. International Conference on ComputerAided Design