Works matching DE "COUNTERS (Computer science)"


Results: 6
    1
    2
    3
    4
    5

    Abstract regular (tree) model checking.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 2, p. 167, doi. 10.1007/s10009-011-0205-y
    By:
    • Bouajjani, Ahmed;
    • Habermehl, Peter;
    • Rogalewicz, Adam;
    • Vojnar, Tomáš
    Publication type:
    Article
    6