Home Advanced Search

Advanced Search - Page 1

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.)
Hybrid Systems III: Verification and Control
  • DJVU
  • English
  • Year: 1996
  • Author: John Lygeros, Datta N. Godbole, Shankar Sastry (auth.), Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag (eds.)
Logic, Language, Information and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Rajeev Alur (auth.), Lev D. Beklemishev, Ruy de Queiroz (eds.)
Principles of Cyber-Physical Systems
  • PDF
  • English
  • Year: 2015
  • Author: Rajeev Alur
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.)
Embedded Software: Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Alan Burns, Guillem Bernat, Ian Broster (auth.), Rajeev Alur, Insup Lee (eds.)
Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Systems — ProCoS Lübeck, Germany, September 19–23, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Limor Fix, Fred B. Schneider (auth.), Hans Langmaack, Willem-Paul de Roever, Jan Vytopil (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.)
Hybrid Systems: Computation and Control: First International Workshop, HSCC'98 Berkeley, California, USA, April 13 – 15, 1998 Proceedings
  • DJVU
  • English
  • Year: 1998
  • Author: Eugene Asarin (auth.), Thomas A. Henzinger, Shankar Sastry (eds.)
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
  • PDF
  • English
  • Year: 1989
  • Author: David L. Dill
search