Media type: Book Title: A verified access control model Contributor: Stenzel, Kurt [Author] imprint: Karlsruhe: Univ., Fak. für Informatik, 1993 Published in: Universität Karlsruhe (TH): Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 93,26 Extent: 176 S.; 30 cm Language: English RVK notation: SS 5554 : Universität Karlsruhe: Fakultät für Informatik: Interner Bericht Keywords: Forschungsbericht Origination: Footnote:
Departmental Library DrePunct – stack Shelf-mark: 96 4 03670 001 Item ID: 30084220 Status: Loanable, place order > Ordering possible ‒ please log in