Media type: Book Title: A verification environment for I O automata based on formalized meta theory Contributor: Müller, Olaf [Author] imprint: München: TU, Inst. für Informatik, 1998 Published in: Technische Universität München: Institut für Informatik, Technische Universität München ; 98,22 Extent: IV, 271 S.; graph. Darst Language: German RVK notation: ST 130 : Allgemeines Origination: University thesis: Zugl.: München, Techn. Univ., Diss., 1998 Footnote:
Departmental Library DrePunct – stack Shelf-mark: 1999 8 030477 001 Item ID: 30083657 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order