Media type: Book Title: Formal verification of a coordinated atomic action based design Contributor: Canver, Ercüment [Author] Published: Ulm: Univ., Fak. für Informatik, 1998 Published in: Ulmer Informatik-Berichte ; 98,05 Extent: 28 S. Language: English Origination: RVK notation: SS 5525 : Ulmer Informatik-Berichte Keywords: System design Footnote:
Departmental Library DrePunct – stack Shelf-mark: 1998 4 007241 001 Item ID: 30441458 Status: Loanable, place order > Ordering possible ‒ please log in