Home Advanced Search

Advanced Search - Page 1

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.)
Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Dennis Dams (auth.), Dragan Bošnački, Stefan Edelkamp (eds.)
Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Dragan Bošnački, Anton Wijs (eds.)
Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings
  • DJVU
  • English
  • Year: 1991
  • Author: Edmund M. Clarke Jr. (auth.), Edmund M. Clarke, Robert P. Kurshan (eds.)
Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
  • PDF
  • English
  • Year: 2008
  • Author: Charles Pecheur (auth.), Stefan Leue, Pedro Merino (eds.)
SPIN Model Checking and Software Verification: 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000. Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Dragan Bošnački, Dennis Dams, Leszek Holenderski (auth.), Klaus Havelund, John Penix, Willem Visser (eds.)
Automated Deduction – CADE-19: 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 – August 2, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Edmund M. Clarke (auth.), Franz Baader (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.)
25 Years of Model Checking: History, Achievements, Perspectives
  • DJVU
  • English
  • Year: 2008
  • Author: Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.)
Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: Geoff Sutcliffe (auth.), Edmund M. Clarke, Andrei Voronkov (eds.)
search