SZodixStudyAcademic Library

Shelves Open access

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

Ahmed Kheldoun · Study

Home/Author

Ahmed Kheldoun

2 works· latest 2017· 1 institutionscluster: provisionalORCID 0000-0003-0514-919X

h-index2

i102

Citations99

Works here2

15

17

Most cited in this library

Formal verification of complex business processes based on high-level Petri nets2017 · 73 citations
Specification and Verification of Complex Business Processes - A High-Level Petri Net-Based Approach2015 · 26 citations

Works

2 shown

Formal verification of complex business processes based on high-level Petri nets

Information Sciences·2017·3 authors

73citations

Specification and Verification of Complex Business Processes - A High-Level Petri Net-Based Approach

Lecture notes in computer science·2015·3 authors·other

26citations