Media type: Book Title: Model-Checking zur Analyse von Message Sequence Charts über Statecharts Contributor: Canver, Ercüment [Author] imprint: Ulm: Univ., Fak. für Informatik, 1999 Published in: Ulmer Informatik-Berichte ; 99,04 Extent: I, 46 S.; graph. Darst Language: German RVK notation: SS 5525 : Ulmer Informatik-Berichte Origination: Footnote:
Departmental Library DrePunct – stack Shelf-mark: 1999 4 029856 001 Item ID: 30441455 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order