Home Advanced Search

Advanced Search - Page 1

Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II
  • PDF
  • English
  • Year: 2011
  • Author: Rajeev Alur, Jyotirmoy V. Deshmukh (auth.), Luca Aceto, Monika Henzinger, Jiří Sgall (eds.)
Computer Aided Verification: 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings
  • PDF
  • English
  • Year: 1996
  • Author: Bernard Boigelot, Patrice Godefroid (auth.), Rajeev Alur, Thomas A. Henzinger (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.)
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.)
Hybrid Systems III: Verification and Control
  • PDF
  • English
  • Year: 1996
  • Author: John Lygeros, Datta N. Godbole, Shankar Sastry (auth.), Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag (eds.)
Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Doron Peled (auth.), Rajeev Alur, Doron A. Peled (eds.)
Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Rajeev Alur (auth.), José Meseguer, Grigore Roşu (eds.)
Mathematical Foundations of Computer Science 2001: 26th International Symposium, MFCS 2001 Mariánské Lázne, Czech Republic, August 27–31, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Dana S. Scott (auth.), Jiří Sgall, Aleš Pultr, Petr Kolman (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
search