Home Advanced Search

Advanced Search - Page 1

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.)
Coordination Models and Languages: 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Luca Bortolussi, Diego Latella, Mieke Massink (auth.), Rocco De Nicola, Christine Julien (eds.)
Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever
  • PDF
  • English
  • Year: 2010
  • Author: Dennis Dams, Ulrich Hannemann (auth.), Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.)
Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever
  • PDF
  • English
  • Year: 2010
  • Author: Dennis Dams, Ulrich Hannemann (auth.), Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.)
Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever
  • PDF
  • English
  • Year: 2010
  • Author: Dennis Dams, Ulrich Hannemann (auth.), Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.)
Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever
  • PDF
  • English
  • Year: 2010
  • Author: Dennis Dams, Ulrich Hannemann (auth.), Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.)
Safety and Reliability of Software Based Systems: Twelfth Annual CSR Workshop (Bruges, 12–15 September 1995)
  • PDF
  • English
  • Year: 1997
  • Author: John Rushby (auth.), Roger Shaw (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.)
search