Home Advanced Search

Advanced Search - Page 1

A really temporal logic
  • RAR
  • English
  • Year: 2007
  • Author: Rajeev Alur; T A Henzinger; Stanford University. Computer Science Department
A really temporal logic
  • PDF
  • English
  • Year: 2007
  • Author: Rajeev Alur; T A Henzinger; Stanford University. Computer Science Department
Theory of reversible computing
  • PDF
  • English
  • Year: 2017
  • Author: Henzinger, Monika; Hromkovič, Juraj; Morita, Ken'ichi; Nielsen, Mogens
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.)
Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Tarek Abdelzaher (auth.), Krishnendu Chatterjee, Thomas A. Henzinger (eds.)
Computational Methods in Systems Biology: 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Jakob Ruess, John Lygeros (auth.), Ashutosh Gupta, Thomas A. Henzinger (eds.)
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Krishnendu Chatterjee, Thomas A. Henzinger (auth.), Sundar Sarukkai, Sandeep Sen (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.)
Embedded Software: First International Workshop, EMSOFT 2001 Tahoe City, CA, USA, October 8–10, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Perry Alexander, Cindy Kong (auth.), Thomas A. Henzinger, Christoph M. Kirsch (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.)
search