Home Advanced Search

Advanced Search - Page 1

Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Holger Hermanns (auth.), Cormac Flanagan, Barbara König (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Holger Hermanns (auth.), Cormac Flanagan, Barbara König (eds.)
Interactive Markov Chains: And the Quest for Quantified Quality
  • PDF
  • English
  • Year: 2002
  • Author: Holger Hermanns (eds.)
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Byron Cook (auth.), Werner Damm, Holger Hermanns (eds.)
Embedded Systems for Smart Appliances and Energy Management
  • PDF
  • English
  • Year: 2013
  • Author: Holger Hermanns, Holger Wiechmann (auth.), Christoph Grimm, Peter Neumann, Stefan Mahlknecht (eds.)
Graph Transformation: 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings
  • PDF
  • English
  • Year: 2014
  • Author: Holger Giese, Barbara König
Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Holger Hermanns (auth.), Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.)
Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Holger Hermanns (auth.), Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.)
Lectures on Formal Methods and PerformanceAnalysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures
  • PDF
  • English
  • Year: 2001
  • Author: Ulrich Herzog (auth.), Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.)
CONCUR 2006 – Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Lee (auth.), Christel Baier, Holger Hermanns (eds.)
search