Items by "Huang, Guoming"

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

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 13:55:43 2026 UTC.