Showing 1 - 8 results of 8 for search 'Henzinger, Thomas A', query time: 0.03s Refine Results
  1. 1
    Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
    by Chatterjee, Krishnendu
    Published 2010
    Other Authors: “…Henzinger, Thomas A…”
    Get full text
    Electronic Kit Book
  2. 2
    Hybrid Systems: Computation and Control First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings /
    Published 1998
    Other Authors: “…Henzinger, Thomas A.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings /
    Published 2013
    Other Authors: “…Henzinger, Thomas A.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings /
    Published 2010
    Other Authors: “…Henzinger, Thomas A.…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /
    Published 2007
    Other Authors: “…Henzinger, Thomas A.…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Embedded Software First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings /
    Published 2001
    Other Authors: “…Henzinger, Thomas A.…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Handbook of Model Checking
    Published 2018
    Other Authors: “…Henzinger, Thomas A.…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers /
    Published 2013
    Other Authors: “…Henzinger, Thomas A.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search