Performance Estimation for Business Workflows on Public Cloud Offerings Using Probabilistic Model Checker.

Shinji Kikuchi

Browse the full UCC paper archive.