Reports
(Research Report)
Year : 2013
Marco Autili : Connect in order to contact the contributor
https://inria.hal.science/hal-00866626
Submitted on : Thursday, September 26, 2013-6:03:15 PM
Last modification on : Monday, November 28, 2022-5:44:05 PM
Dates and versions
Identifiers
- HAL Id : hal-00866626 , version 1
Cite
Marco Autili, Davide Di Ruscio, Paola Inverardi, Amleto Salle. Using model-based techniques to enforce BPMN2 choreography realizability. [Research Report] 2013. ⟨hal-00866626⟩
42
View
0
Download