%0 Conference Paper %1 conf/compsac/GongLZH09 %A Gong, Xueqiang %A Liu, Jing %A Zhang, Miaomiao %A Hu, Jueliang %B COMPSAC (2) %D 2009 %E Ahamed, Sheikh Iqbal %E Bertino, Elisa %E Chang, Carl K. %E Getov, Vladimir %E Liu, Lin %E Hua, Ming %E Subramanyan, Rajesh %I IEEE Computer Society %K dblp %P 243-248 %T Formal Analysis of Services Compatibility. %U http://dblp.uni-trier.de/db/conf/compsac/compsac2009-2.html#GongLZH09

@inproceedings{conf/compsac/GongLZH09, added-at = {2023-03-24T00:00:00.000+0100}, author = {Gong, Xueqiang and Liu, Jing and Zhang, Miaomiao and Hu, Jueliang}, biburl = {https://www.bibsonomy.org/bibtex/2ce847a257874b59256feb7cee8103fde/dblp}, booktitle = {COMPSAC (2)}, crossref = {conf/compsac/2009-2}, editor = {Ahamed, Sheikh Iqbal and Bertino, Elisa and Chang, Carl K. and Getov, Vladimir and Liu, Lin and Hua, Ming and Subramanyan, Rajesh}, ee = {https://doi.ieeecomputersociety.org/10.1109/COMPSAC.2009.141}, interhash = {ed03a7e470b43c0f00a0d26e2c4b66dc}, intrahash = {ce847a257874b59256feb7cee8103fde}, keywords = {dblp}, note = {978-0-7695-3726-9}, pages = {243-248}, publisher = {IEEE Computer Society}, timestamp = {2024-04-09T16:54:59.000+0200}, title = {Formal Analysis of Services Compatibility.}, url = {http://dblp.uni-trier.de/db/conf/compsac/compsac2009-2.html#GongLZH09}, year = 2009 }