Business Processes Meet Spatial Concerns: The sBPMN Verification Framework.

Rim Saddem-Yagoubi, Pascal Poizat, Sara Houhou

Browse the full FM paper archive.