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

2005Lecture notes in computer science引用 297
Business Process Modeling and AnalysisService-Oriented Architecture and Web ServicesSemantic Web and Ontologies