> Details

Groce, Alex [Editor]; Musuvathi, Madanlal [Other] ; International SPIN Workshop 18 2011 Snowbird, Utah

Model checking software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 ; proceedings

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: Book; Conference Proceedings
  • Title: Model checking software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 ; proceedings
  • Contributor: Groce, Alex [Hrsg.]; Musuvathi, Madanlal [Other]
  • Event: International SPIN Workshop
  • imprint: Berlin; Heidelberg [u.a.]: Springer, 2011
  • Published in: Lecture notes in computer science ; 6823
  • Extent: X, 193 S.; graph. Darst; 235 mm x 155 mm
  • Language: English
  • ISBN: 3642223052; 9783642223051
  • Publisher, production or purchase order numbers: Sonstige Nummer: 80073624
  • RVK notation: SS 4800 : Lecture notes in computer science
  • Keywords: Model Checking
  • Origination:
  • Footnote: Literaturangaben

copies

(0)

Departmental Library DrePunct – stack

  • Shelf-mark: R2017 8 2059
  • Item ID: 32990673
  • Status: Loanable, place order