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 -