Efficient Compliance Checking Using BPMN-Q and Temporal Logic 论文
2008Lecture notes in computer science引用 263
Business Process Modeling and AnalysisFormal Methods in VerificationService-Oriented Architecture and Web Services
详细信息
- 发表期刊/会议
- Lecture notes in computer science
- 发表日期
- 2008-01-01
- 发表年份
- 2008
关键词
Business Process Modeling and AnalysisFormal Methods in VerificationService-Oriented Architecture and Web Services