Showing 1 - 1 results of 1 for search 'Walid Gaaloul', query time: 0.02s Refine Results
  1. 1
    Formal Verification of Temporal Constraints for Mobile Service-Based Business Process Models

    Formal Verification of Temporal Constraints for Mobile Service-Based Business Process Models by Deng Zhao, Walid Gaaloul, Wenbo Zhang, Chunsheng Zhu, Zhangbing Zhou

    Published 2018-01-01
    Get full text
    Article

Search Tools: