Home Advanced Search

Advanced Search - Page 1

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: David L. Dill (auth.), Ranjit Jhala, David Schmidt (eds.)
Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: David L. Dill (auth.), Ranjit Jhala, David Schmidt (eds.)
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
  • PDF
  • English
  • Year: 1989
  • Author: David L. Dill
Computer Aided Verification: 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: David L. Dill (auth.), Nicolas Halbwachs, Doron Peled (eds.)
Programming Languages and Systems: 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Jan Vitek (auth.), Ranjit Jhala, Atsushi Igarashi (eds.)
Public Vices, Private Virtues?: Assessing the Effects of Marketization in Higher Education
  • PDF
  • English
  • Year: 2011
  • Author: Roger L. Geiger (auth.), Pedro N. Teixeira, David D. Dill (eds.)
Computer Aided Verification: 6th International Conference, CAV '94 Stanford, California, USA, June 21–23, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Rajeev Alur, Limor Fix, Thomas A. Henzinger (auth.), David L. Dill (eds.)
Public Policy for Academic Quality: Analyses of Innovative Policy Instruments
  • PDF
  • English
  • Year: 2010
  • Author: David D. Dill, Maarja Beerkens (auth.), David D. Dill, Maarja Beerkens (eds.)
Public Policy for Academic Quality: Analyses of Innovative Policy Instruments
  • PDF
  • English
  • Year: 2010
  • Author: David D. Dill, Maarja Beerkens (auth.), David D. Dill, Maarja Beerkens (eds.)
Compiler Construction: 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Philipp Klaus Krause (auth.), Ranjit Jhala, Koen De Bosschere (eds.)
search