Items by "Wen, Tangliu"

[up] Up a level
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 1.

Article

Peng, Jie and Wen, Tangliu and Yang, Yiguo and Huang, Guoming (2022) An Event-B Approach to the Development of Fork/Join Parallel Programs. EAI Endorsed Transactions on AI and Robotics.

This list was generated on Wed May 6 23:58:48 2026 UTC.