%0 Conference Paper %1 conf/snpd/FangLC10 %A Fang, Zhi %A Liao, Lejian %A Chen, Ruoyu %B SNPD %D 2010 %E Ma, Jixin %E Bacon, Liz %E Du, Wencai %E Petridis, Miltos %I IEEE Computer Society %K dblp %P 201-206 %T Bounded Model Checking for Web Service Discovery and Composition. %U http://dblp.uni-trier.de/db/conf/snpd/snpd2010.html#FangLC10 %@ 978-0-7695-4088-7

@inproceedings{conf/snpd/FangLC10, added-at = {2015-08-12T00:00:00.000+0200}, author = {Fang, Zhi and Liao, Lejian and Chen, Ruoyu}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/250a14c43a857aae3512e9d5b6396fb31/dblp}, booktitle = {SNPD}, crossref = {conf/snpd/2010}, editor = {Ma, Jixin and Bacon, Liz and Du, Wencai and Petridis, Miltos}, ee = {http://doi.ieeecomputersociety.org/10.1109/SNPD.2010.38}, interhash = {7173caeb6d50a7f3fd2c591ea07a73a4}, intrahash = {50a14c43a857aae3512e9d5b6396fb31}, isbn = {978-0-7695-4088-7}, keywords = {dblp}, pages = {201-206}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T14:48:47.000+0100}, title = {Bounded Model Checking for Web Service Discovery and Composition.}, url = {http://dblp.uni-trier.de/db/conf/snpd/snpd2010.html#FangLC10}, year = 2010 }