iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://unpaywall.org/10.1109/SITIS.2013.47
Pattern-Based Model Checking for Dynamic Analysis of Workflow Processes with Temporal Constraints | IEEE Conference Publication | IEEE Xplore
