Verlag GMD-Forschungszentrum InformationstechnikClaudia Matthäus × EXTEST: Ein regelbasiertes System zur Unterstützung des Entwurfs gut testbarer, digitaler, hochintegrierter Schaltungen Claudia MatthäusGMD-Forschungszentrum InformationstechnikSoftcover1988