Media type: Book Title: Modellprüfung und Modellierung kommunizierender Protokolle am Beispiel des X.35-Protokolls Contributor: Fordran, Eva [Other] imprint: Dresden [u.a.]: Techn. Univ., 1998 Published in: Sonderforschungsbereich Automatisierter Systementwurf, Synthese, Test, Verifikation, Dedizierte Anwendungen: SFB 358 ; 98,2 Extent: 14 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/1998 Item ID: 10369615 Status: Loanable