Home Advanced Search

Advanced Search - Page 1

Formal Methods: Applications and Technology: 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers
  • PDF
  • English
  • Year: 2007
  • Author: Anna Slobodová (auth.), Luboš Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol (eds.)
CONCUR 2002 — Concurrency Theory: 13th International Conference Brno, Czech Republic, August 20–23, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Wan Fokkink, Natalia Ioustinova, Ernst Kesseler, Jaco van de Pol, Yaroslav S. Usenko (auth.), Luboš Brim, Mojmír Křetínský, Antonín Kučera, Petr Jančar (eds.)
Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Alessandro Cimatti (auth.), Jaco van de Pol, Michael Weber (eds.)
Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: David Lorge Parnas (auth.), Judi Romijn, Graeme Smith, Jaco van de Pol (eds.)
Formal Approaches to Software Testing: 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers
  • PDF
  • English
  • Year: 2006
  • Author: Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova (auth.), Wolfgang Grieskamp, Carsten Weise (eds.)
Computer Performance Engineering: 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Boudewijn R. Haverkort (auth.), Nigel Thomas, Carlos Juiz (eds.)
Computer Performance Engineering: 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Boudewijn R. Haverkort (auth.), Nigel Thomas, Carlos Juiz (eds.)
Validation of Stochastic Systems: A Guide to Current Research
  • PDF
  • English
  • Year: 2004
  • Author: Ana Sokolova, Erik P. de Vink (auth.), Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle (eds.)
Mathematical Foundations of Computer Science 1998: 23rd International Symposium, MFCS'98 Brno, Czech Republic, August 24–28, 1998 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: Giorgio Ausiello, Giuseppe F. Italiano (auth.), Luboš Brim, Jozef Gruska, Jiří Zlatuška (eds.)
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems: 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Anne Remke, Boudewijn R. Haverkort (eds.)
search