Home Advanced Search

Advanced Search - Page 1

Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 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: Tevfik Bultan (auth.), Dirk Beyer, Michele Boreale (eds.)
Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Richard Hull, Elio Damaggio, Fabiana Fournier (auth.), Mario Bravetti, Tevfik Bultan (eds.)
String Analysis for Software Verification and Security
  • PDF
  • English
  • Year: 2017
  • Author: Tevfik Bultan,Fang Yu,Muath Alkhalaf,Abdulbaki Aydin (auth.)
Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Dirk Beyer, Philipp Wendler (auth.), Ezio Bartocci, C. R. Ramakrishnan (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences ... Science and General Issues Book 10805)
  • EPUB
  • English
  • Year: 2018
  • Author: Dirk Beyer
Vom Zukunfts- zum Auslaufmodell?: Die deutsche Wirtschaftsordnung im Wandel
  • PDF
  • German
  • Year: 2003
  • Author: Jürgen Beyer (auth.), Dr. Jürgen Beyer (eds.)
Tools and Algorithms for the Construction and Analysis of Systems
  • PDF
  • English
  • Year: 2018
  • Author: Dirk Beyer, Marieke Huisman
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
  • PDF
  • English
  • Year: 2018
  • Author: Dirk Beyer, Marieke Huisman
Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Dirk Beyer, Chantal Keller
Die Basis der Vielfalt : Geometrie als Grundlage und Anregung des Denkens - 10. Tagung der DGfGG
  • PDF
  • German
  • Year: 2016
  • Author: Udo Beyer (eds.)
search