%0 Conference Paper %1 conf/wsfm/Halle10 %A Hallé, Sylvain %B WS-FM %D 2010 %E Bravetti, Mario %E Bultan, Tevfik %I Springer %K dblp %P 42-55 %T Automated Generation of Web Service Stubs Using LTL Satisfiability Solving. %U http://dblp.uni-trier.de/db/conf/wsfm/wsfm2010.html#Halle10 %V 6551 %@ 978-3-642-19588-4

@inproceedings{conf/wsfm/Halle10, added-at = {2019-10-19T00:00:00.000+0200}, author = {Hallé, Sylvain}, biburl = {https://www.bibsonomy.org/bibtex/21913e2a0e558d7b82acbe32417ca4f7d/dblp}, booktitle = {WS-FM}, crossref = {conf/wsfm/2010}, editor = {Bravetti, Mario and Bultan, Tevfik}, ee = {https://doi.org/10.1007/978-3-642-19589-1_3}, interhash = {632446af0444f9b354c747ff94b9cc9d}, intrahash = {1913e2a0e558d7b82acbe32417ca4f7d}, isbn = {978-3-642-19588-4}, keywords = {dblp}, pages = {42-55}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T15:16:18.000+0200}, title = {Automated Generation of Web Service Stubs Using LTL Satisfiability Solving.}, url = {http://dblp.uni-trier.de/db/conf/wsfm/wsfm2010.html#Halle10}, volume = 6551, year = 2010 }