Works matching IS 02883635 AND DT 2011 AND VI 29 AND IP 1

Results: 5
    1
    2

    A Short Cut to Optimal Sequences.

    Published in:
    New Generation Computing, 2011, v. 29, n. 1, p. 31, doi. 10.1007/s00354-010-0098-4
    By:
    • Morihata, Akimasa
    Publication type:
    Article
    3

    Weak Updates and Separation Logic.

    Published in:
    New Generation Computing, 2011, v. 29, n. 1, p. 3, doi. 10.1007/s00354-010-0097-5
    By:
    • Tan, Gang;
    • Shao, Zhong;
    • Feng, Xinyu;
    • Cai, Hongxu
    Publication type:
    Article
    4
    5