Works matching IS 00985589 AND DT 2003 AND VI 29 AND IP 7


Results: 12
    1
    2
    3
    4
    5
    6
    7
    8
    9

    Inference of Message Sequence Charts.

    Published in:
    IEEE Transactions on Software Engineering, 2003, v. 29, n. 7, p. 623, doi. 10.1109/TSE.2003.1214326
    By:
    • Alur, Rajeev;
    • Etessami, Kousha;
    • Yannakakis, Mihalis
    Publication type:
    Article
    10

    A Safe Algorithm for Resolving OR Deadlocks.

    Published in:
    IEEE Transactions on Software Engineering, 2003, v. 29, n. 7, p. 608, doi. 10.1109/TSE.2003.1214325
    By:
    • Villadangos, Jesús;
    • Fariña, Federico;
    • González de Mendívil, José Ramon;
    • Garitagoitia, José Ramon;
    • Córdoba, Alberto
    Publication type:
    Article
    11
    12