一种时序约束下的Web服务组合兼容性的定量验证方法
일충시서약속하적Web복무조합겸용성적정량험증방법
A quantitative verification approach with temporal constraints for Web service composition
저자의 최근 논문