Sind Sie sicher, dass Sie die Verknüpfung zu:
"On the influence of the state encoding on OBDD-representations of finite state machines"
löschen möchten?
Sind Sie sicher, dass Sie die Verknüpfung zu:
"Geordnete binaere Entscheidungsgraphen und ihre Bedeutung im rechnergestuetzten Entwurf hochintegrierter Schaltkreise."
löschen möchten?