Formal Analysis for Multimedia Conferencing Communication Services Orchestration.

Bo Cheng, Xiangtao Lin, Xiaoxiao Hu, Junliang Chen

Browse the full ICWS paper archive.