Formal Verification of Declarative Specifications of BPs: DCR2CPN-Based Approach.

Ikram Garfatta, Kas Klai, Walid Gaaloul

Browse the full VECoS paper archive.