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.dagstuhl.de/rec/conf/apbpm/NagatouW14.xml
Naoyuki Nagatou Takuo Watanabe A Model-Checking Based Approach to Robustness Analysis of Procedures under Human-Made Faults. 117-131 2014 AP-BPM https://doi.org/10.1007/978-3-319-08222-6_9 conf/apbpm/2014 db/conf/apbpm/apbpm2014.html#NagatouW14