Saïda Boukhedouma, Zaia Alimazighi. An Approach Based on Hierarchical Petri Nets for the Verification of Interconnected BPEL Processes. IJISMD, 9(2):44-78, 2018. [doi]
No references recorded for this publication.
No citations of this publication recorded.