Showing 1 - 4 results of 4 for search 'Dutertre, Bruno', query time: 0.11s Refine Results
  1. 1
    Probabilistic analysis of distributed fault-tolerant systems /
    by Dutertre, Bruno, Dutertre, Bruno
    Published 2011

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Government Document Book
    Save to List
    Saved in:
  2. 2
    Integrated formal analysis of timed-triggered ethernet /
    by Dutertre, Bruno
    Published 2012

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Government Document Book
    Save to List
    Saved in:
  3. 3
    Proceedings of the 7th International Workshop on Satisfiability Modulo Theories
    Published 2009
    Other Authors: “...Dutertre, Bruno...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Electronic Book
    Save to List
    Saved in:
  4. 4
    Control of polynomial dynamic systems: an example
    Published 1994
    Other Authors: “...Dutertre, Bruno...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
    Save to List
    Saved in:
Search Tools: Get RSS Feed — Email this Search