iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.uni-trier.de/rec/conf/coordination/DuranS17.xml
Francisco Durán 0001 Gwen Salaün Verifying Timed BPMN Processes Using Maude. 219-236 2017 COORDINATION https://doi.org/10.1007/978-3-319-59746-1_12 conf/coordination/2017 db/conf/coordination/coordination2017.html#DuranS17