A Aralex Aachen research explorer

October 22, 2024 conference-paper Open access

Automatic Generation of Logical Specifications for Behavioural Models

IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW)

DOI: 10.1145/3691621.3694927 Full text (OA) OpenAlex

Authors 0

Author list not loaded yet.

Cited by 0 stored of 1

References 2

Translating Workflow Nets to Process Trees: An Algorithmic Approach
2020 Algorithms article Business, Management and Accounting Business Process Modeling and Analysis Open access

18

citations
Translating Workflow Nets to Process Trees : An Algorithmic Approach
2020 QUT ePrints (Queensland University of Technology) article Business, Management and Accounting Business Process Modeling and Analysis Open access

14

citations

2 results