Media type: Book Title: Entwicklung eines Verfahrens zur modellbasierten Überprüfung von digitalen Systemen Contributor: Schreiber, Ingo [Author] Published: Dresden [u.a.]: Techn. Univ., 1996 Published in: Sonderforschungsbereich Automatisierter Systementwurf, Synthese, Test, Verifikation, Dedizierte Anwendungen: SFB 358 ; 96,2 Extent: 71 S.; graph. Darst Language: German RVK notation: SK 970 : Operations Research Keywords: Forschungsbericht Origination: Footnote:
Departmental Library DrePunct – open access area Shelf-mark: ZN 1746-02/1996 Item ID: 10369636 Status: Loanable