Home Advanced Search

Advanced Search - Page 1

Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Jasmin Fisher (auth.), Alex Groce, Madanlal Musuvathi (eds.)
Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
  • PDF
  • English
  • Year: 2013
  • Author: John Erickson, Stephen Freund, Madanlal Musuvathi (auth.), Shaz Qadeer, Serdar Tasiran (eds.)
Membrane Physiopathology
  • PDF
  • English
  • Year: 1994
  • Author: Gaétan Jasmin, Libuse Proschek (auth.), Ghassan Bkaily (eds.)
Parteien: Zur Soziologie einer politischen Form
  • PDF
  • German
  • Year: 2012
  • Author: Jasmin Siri (auth.)
Securitainment: Medien als Akteure der Inneren Sicherheit
  • PDF
  • German
  • Year: 2011
  • Author: Jo Reichertz (auth.), Oliver Bidlo, Carina Jasmin Englert, Jo Reichertz (eds.)
Methoden zur mehrstufigen Ablaufplanung in der Halbleiterindustrie
  • PDF
  • German
  • Year: 2011
  • Author: Isabel Jasmin Acker (auth.)