Works matching DE "HARDWARE design %26 construction"


Results: 28
    1

    Parameterized verification.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 5, p. 469, doi. 10.1007/s10009-016-0424-3
    By:
    • Abdulla, Parosh;
    • Delzanno, Giorgio
    Publication type:
    Article
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12
    13
    14
    15
    16
    17
    18
    19
    20
    21
    22
    23
    24
    25
    26
    27
    28