Home Advanced Search

Advanced Search - Page 1

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.)
Testing of Communicating Systems: 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26–28, 2003 Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Elaine J. Weyuker (auth.), Dieter Hogrefe, Anthony Wiles (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.)
Estelle, LOTOS und SDL: Standard-Spezifikationssprachen für verteilte Systeme
  • PDF
  • German
  • Year: 1989
  • Author: Dr. Dieter Hogrefe (auth.)
System Analysis and Modeling: Language Profiles: 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers
  • PDF
  • English
  • Year: 2006
  • Author: Constantin Werner, Sebastian Kraatz, Dieter Hogrefe (auth.), Reinhard Gotzhein, Rick Reed (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.)
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.)
Immunology of Infection
  • PDF
  • English
  • Year: 1998
  • Author: Stefan HE Kaufmann and Dieter Kabelitz (Eds.)
Immunology of Infection
  • PDF
  • English
  • Year: 2002
  • Author: Stefan H. E., Kaufmann, Dieter Kabelitz (Eds.)
search