Home Advanced Search

Advanced Search - Page 1

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.)
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 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.)
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.)
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.)
Automata, Languages and Programming: Seventh Colloquium Noordwijkerhout, the Netherlands July 14–18, 1980
  • PDF
  • English
  • Year: 1980
  • Author: W. Ainhirn (auth.), Jaco de Bakker, Jan van Leeuwen (eds.)
Automata, Languages and Programming: Seventh Colloquium Noordwijkerhout, the Netherlands July 14–18, 1980
  • DJVU
  • English
  • Year: 1980
  • Author: W. Ainhirn (auth.), Jaco de Bakker, Jan van Leeuwen (eds.)
Theory and Applications of Satisfiability Testing – SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Aaron R. Bradley (auth.), Alessandro Cimatti, Roberto Sebastiani (eds.)
Theory and Applications of Satisfiability Testing – SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Aaron R. Bradley (auth.), Alessandro Cimatti, Roberto Sebastiani (eds.)
search