Works matching IS 14332779 AND DT 2016 AND VI 18 AND IP 1


Results: 7
    1
    2
    3
    4

    Downward pattern refinement for timed automata.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 1, p. 41, doi. 10.1007/s10009-014-0346-x
    By:
    • Wehrle, Martin;
    • Kupferschmid, Sebastian
    Publication type:
    Article
    5
    6
    7