Home Advanced Search

Advanced Search - Page 1

Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
  • PDF
  • English
  • Year: 2008
  • Author: Charles Pecheur (auth.), Stefan Leue, Pedro Merino (eds.)
Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Edmund M. Clarke (auth.), Dragan Bošnački, Stefan Leue (eds.)
Formal Description Techniques VII: Proceedings of the 7th IFIP WG 6.1 international conference on formal description techniques
  • PDF
  • English
  • Year: 1995
  • Author: Dieter Hogrefe, Stefan Leue (eds.)
Formal Methods for Industrial Critical Systems: 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Adrien Champion, Rémi Delmas (auth.), Charles Pecheur, Michael Dierkes (eds.)
Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: John Rushby (auth.), Dennis Dams, Rob Gerth, Stefan Leue, Mieke Massink (eds.)
Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: John Rushby (auth.), Dennis Dams, Rob Gerth, Stefan Leue, Mieke Massink (eds.)
Chemical biology of neurodegeneration: a molecular approach
  • PDF
  • English
  • Year: 2019
  • Author: Merino, Pedro
Scenarios: Models, Transformations and Tools: International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers
  • PDF
  • English
  • Year: 2005
  • Author: Øystein Haugen, Knut Eilif Husa, Ragnhild Kobro Runde, Ketil Stølen (auth.), Stefan Leue, Tarja Johanna Systä (eds.)
Scenarios: Models, Transformations and Tools: International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers
  • PDF
  • English
  • Year: 2005
  • Author: Øystein Haugen, Knut Eilif Husa, Ragnhild Kobro Runde, Ketil Stølen (auth.), Stefan Leue, Tarja Johanna Systä (eds.)
Die Praxis des Seefrachtgeschäfts: Eine Kiste reist von Deutschland nach Kalkutta
  • PDF
  • German
  • Year: 1958
  • Author: Hans-Joachim Leue (auth.)
search