Showing 1 - 2 results of 2 for search 'Bronstein, Alexandre', query time: 0.03s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    MLP string-functional semantics and Boyer-Moore mechanization for the formal verification of synchronous circuits

    MLP string-functional semantics and Boyer-Moore mechanization for the formal verification of synchronous circuits by Bronstein, Alexandre

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    String-functional semantics for formal verification of synchronous circuits

    String-functional semantics for formal verification of synchronous circuits by Bronstein, Alexandre, Talcott, Carolyn L.

    Published 1988
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: