Temporal Logical Based Virtual Organization Activity Planning

• 基于时态逻辑的虚拟企业活动规划