Ein wissensbasierter Ansatz zur automatischen Durchführung von Experimenten in der LogiksimulationVolgen