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.org/rec/conf/cisis/Moscato15.ris
Provider: Schloss Dagstuhl - Leibniz Center for Informatics Database: dblp computer science bibliography Content:text/plain; charset="utf-8" TY - CPAPER ID - DBLP:conf/cisis/Moscato15 AU - Moscato, Francesco TI - Exploiting Semantics and Patterns for Verification of Orchestrated Cloud Services. BT - Ninth International Conference on Complex, Intelligent, and Software Intensive Systems, CISIS 2015, Santa Catarina, Brazil, July 8-10, 2015 SP - 192 EP - 199 PY - 2015// DO - 10.1109/CISIS.2015.26 UR - https://doi.org/10.1109/CISIS.2015.26 UR - https://doi.ieeecomputersociety.org/10.1109/CISIS.2015.26 ER -