%0 Conference Paper %1 Song:2009:PAT:1637860.1638054 %A Song, Wei %A Ma, Xiaoxing %A Cheung, S. C. %A Dou, Wanchun %A Lu, Jian %B Proceedings of the 2009 IEEE International Conference on Services Computing %C Washington, DC, USA %D 2009 %I IEEE Computer Society %K Composition, Properties, Public-View Service Timed Verification, %P 427--434 %R 10.1109/SCC.2009.18 %T A Public-View Approach to Timed Properties Verification for B2B Web Service Compositions %U http://dx.doi.org/10.1109/SCC.2009.18 %@ 978-0-7695-3811-2

@inproceedings{Song:2009:PAT:1637860.1638054, acmid = {1638054}, added-at = {2013-04-05T16:40:06.000+0200}, address = {Washington, DC, USA}, author = {Song, Wei and Ma, Xiaoxing and Cheung, S. C. and Dou, Wanchun and Lu, Jian}, bdsk-url-1 = {http://dx.doi.org/10.1109/SCC.2009.18}, biburl = {https://www.bibsonomy.org/bibtex/23b21943d89e192e9d5e756dd31ceb734/brickinwall}, booktitle = {Proceedings of the 2009 IEEE International Conference on Services Computing}, date-added = {2013-04-05 06:51:50 +0000}, date-modified = {2013-04-05 06:51:50 +0000}, doi = {10.1109/SCC.2009.18}, interhash = {9e4a560838a72b3c145bfba561fdcb35}, intrahash = {3b21943d89e192e9d5e756dd31ceb734}, isbn = {978-0-7695-3811-2}, keywords = {Composition, Properties, Public-View Service Timed Verification,}, numpages = {8}, pages = {427--434}, publisher = {IEEE Computer Society}, series = {SCC '09}, timestamp = {2013-04-05T16:40:07.000+0200}, title = {A Public-View Approach to Timed Properties Verification for B2B Web Service Compositions}, url = {http://dx.doi.org/10.1109/SCC.2009.18}, year = 2009 }