%0 Conference Paper %1 conf/snpd/LiuHZ08 %A Liu, Rujuan %A Hu, Changjun %A Zhao, Chongchong %B SNPD %D 2008 %I IEEE Computer Society %K dblp %P 741-746 %T Model Checking for Web Service Flow Based on Annotated OWL-S. %U http://dblp.uni-trier.de/db/conf/snpd/snpd2008.html#LiuHZ08 %@ 978-0-7695-3263-9

@inproceedings{conf/snpd/LiuHZ08, added-at = {2015-08-12T00:00:00.000+0200}, author = {Liu, Rujuan and Hu, Changjun and Zhao, Chongchong}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/238905681de330725e2b72b5dd71c1560/dblp}, booktitle = {SNPD}, crossref = {conf/snpd/2008}, ee = {http://doi.ieeecomputersociety.org/10.1109/SNPD.2008.58}, interhash = {ff3281c4db19fa4b67d101e22968f327}, intrahash = {38905681de330725e2b72b5dd71c1560}, isbn = {978-0-7695-3263-9}, keywords = {dblp}, pages = {741-746}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T14:48:34.000+0100}, title = {Model Checking for Web Service Flow Based on Annotated OWL-S.}, url = {http://dblp.uni-trier.de/db/conf/snpd/snpd2008.html#LiuHZ08}, year = 2008 }