共 50 条
- [21] Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN BUSINESS PROCESS MANAGEMENT (BPM 2019), 2019, 11675 : 157 - 175
- [23] Supporting data-aware processes with MERODE Software and Systems Modeling, 2023, 22 : 1779 - 1802
- [26] A Data-Aware MultiWorkflow Cluster Scheduler PROCEEDINGS OF THE 1ST INTERNATIONAL CONFERENCE ON COMPLEX INFORMATION SYSTEMS (COMPLEXIS), 2016, : 95 - 102
- [27] Compressed data structures: Dictionaries and data-aware measures DCC 2006: DATA COMPRESSION CONFERENCE, PROCEEDINGS, 2006, : 213 - +
- [28] Complexity of Reachability for Data-aware Dynamic Systems 2018 18TH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (ACSD), 2018, : 11 - 20