Process Mining and Verification of Properties: An Approach Based on Temporal Logic 论文

2005Lecture notes in computer science引用 297
DOI
Business Process Modeling and AnalysisService-Oriented Architecture and Web ServicesSemantic Web and Ontologies
Semantic Web and OntologiesBusiness Process Modeling and AnalysisService-Oriented Architecture and Web Services
相关技术:Service-Oriented Architecture and Web ServicesBusiness Process Modeling and Analysis
关系图谱

Process Mining and Verification of Properties: An Approach Based on Temporal Logic · 作者

B

Boudewijn F. van Dongen

H

H. T. de Beer

威

威尔·范·德·阿尔斯特