Institut für Technik der Informationsverarbeitung

Dr.-Ing. Manfred Nolle

  • 1986
  • Eine Beschreibungssprache zum strukturierten Entwurf von komplexen digitalen Steuerwerken mit Nachweis der Lebendigkeit
  • group: Prof. Dr.-Ing. Dr.-Ing. h.c. Dr. h.c. Hans Martin Lipp
  • ...