• 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:

copies

(0)
  • Shelf-mark: 1998 4 007241 001
  • Item ID: 30441458
  • Status: Loanable, place order