%0 Conference Paper %1 conf/internetware/ChenH09 %A Chen, Junqing %A Huang, Linpeng %B Internetware %D 2009 %E Yang, Fuqing %E Mei, Hong %E Lv, Jian %I ACM %K dblp %P 19 %T Formal verification of service composition in pervasive computing environments. %U http://dblp.uni-trier.de/db/conf/internetware/internetware2009.html#ChenH09 %@ 978-1-60558-872-8

@inproceedings{conf/internetware/ChenH09, added-at = {2018-11-06T00:00:00.000+0100}, author = {Chen, Junqing and Huang, Linpeng}, biburl = {https://www.bibsonomy.org/bibtex/20a59664fdaccc3a7bfed297f597402a9/dblp}, booktitle = {Internetware}, crossref = {conf/internetware/2009}, editor = {Yang, Fuqing and Mei, Hong and Lv, Jian}, ee = {https://doi.org/10.1145/1640206.1640225}, interhash = {a1bc2c4008f4c764899e6ad19c22229c}, intrahash = {0a59664fdaccc3a7bfed297f597402a9}, isbn = {978-1-60558-872-8}, keywords = {dblp}, pages = 19, publisher = {ACM}, timestamp = {2024-04-09T17:23:23.000+0200}, title = {Formal verification of service composition in pervasive computing environments.}, url = {http://dblp.uni-trier.de/db/conf/internetware/internetware2009.html#ChenH09}, year = 2009 }