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.)
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.)
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: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: John Rushby (auth.), Rohit Gheyi, David Naumann (eds.)
Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: John Rushby (auth.), Rohit Gheyi, David Naumann (eds.)
Fundamentals of Software Engineering: 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
  • PDF
  • English
  • Year: 2019
  • Author: Hossein Hojjat, Mieke Massink
Computer Safety, Reliability, and Security: 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: John Rushby (auth.), Friedemann Bitsch, Jérémie Guiochet, Mohamed Kaâniche (eds.)
Aves
  • PDF
  • German
  • Year: 1964
  • Author: Gerth Rokitansky (auth.), Gerth Rokitansky (eds.)
search