%0 Conference Paper %1 conf/icws/ChengLHC09 %A Cheng, Bo %A Lin, Xiangtao %A Hu, Xiaoxiao %A Chen, Junliang %B ICWS %D 2009 %I IEEE Computer Society %K dblp %P 1010-1011 %T Formal Analysis for Multimedia Conferencing Communication Services Orchestration. %U http://dblp.uni-trier.de/db/conf/icws/icws2009.html#ChengLHC09 %@ 978-0-7695-3709-2

@inproceedings{conf/icws/ChengLHC09, added-at = {2023-03-24T00:00:00.000+0100}, author = {Cheng, Bo and Lin, Xiangtao and Hu, Xiaoxiao and Chen, Junliang}, biburl = {https://www.bibsonomy.org/bibtex/2e0d3b1c02a82d22dca40392bdc2b0172/dblp}, booktitle = {ICWS}, crossref = {conf/icws/2009}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICWS.2009.148}, interhash = {edf48526568c835837d3a95f5d58dc3a}, intrahash = {e0d3b1c02a82d22dca40392bdc2b0172}, isbn = {978-0-7695-3709-2}, keywords = {dblp}, pages = {1010-1011}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T20:30:58.000+0200}, title = {Formal Analysis for Multimedia Conferencing Communication Services Orchestration.}, url = {http://dblp.uni-trier.de/db/conf/icws/icws2009.html#ChengLHC09}, year = 2009 }