Search Results - Palomo-Duarte, M.

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Takuan: A Dynamic Invariant Generation System for WS-BPEL Compositions

    Takuan: A Dynamic Invariant Generation System for WS-BPEL Compositions by Palomo-Duarte, M., Garcia-Dominguez, A., Medina-Bulo, I.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: