Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/wsfm/wsfm2012.bht:"
@proceedings{DBLP:conf/wsfm/2012, editor = {Maurice H. ter Beek and Niels Lohmann}, title = {Web Services and Formal Methods - 9th International Workshop, {WS-FM} 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7843}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38230-7}, doi = {10.1007/978-3-642-38230-7}, isbn = {978-3-642-38229-1}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wsfm/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wsfm/ArbabS12, author = {Farhad Arbab and Francesco Santini}, editor = {Maurice H. ter Beek and Niels Lohmann}, title = {Preference and Similarity-Based Behavioral Discovery of Services}, booktitle = {Web Services and Formal Methods - 9th International Workshop, {WS-FM} 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7843}, pages = {118--133}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-38230-7\_8}, doi = {10.1007/978-3-642-38230-7\_8}, timestamp = {Sat, 30 Sep 2023 09:59:28 +0200}, biburl = {https://dblp.org/rec/conf/wsfm/ArbabS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wsfm/Armas-CervantesGD12, author = {Abel Armas{-}Cervantes and Luciano Garc{\'{\i}}a{-}Ba{\~{n}}uelos and Marlon Dumas}, editor = {Maurice H. ter Beek and Niels Lohmann}, title = {Event Structures as a Foundation for Process Model Differencing, Part 1: Acyclic processes}, booktitle = {Web Services and Formal Methods - 9th International Workshop, {WS-FM} 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7843}, pages = {69--86}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-38230-7\_5}, doi = {10.1007/978-3-642-38230-7\_5}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wsfm/Armas-CervantesGD12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wsfm/DemartyMBH12, author = {Guillaume Demarty and Fabien Maronnaud and Gabriel Le Breton and Sylvain Hall{\'{e}}}, editor = {Maurice H. ter Beek and Niels Lohmann}, title = {SiteHopper: Abstracting Navigation State Machines for the Efficient Verification of Web Applications}, booktitle = {Web Services and Formal Methods - 9th International Workshop, {WS-FM} 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7843}, pages = {103--117}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-38230-7\_7}, doi = {10.1007/978-3-642-38230-7\_7}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wsfm/DemartyMBH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wsfm/MullerAS12, author = {Richard M{\"{u}}ller and Wil M. P. van der Aalst and Christian Stahl}, editor = {Maurice H. ter Beek and Niels Lohmann}, title = {Conformance Checking of Services Using the Best Matching Private View}, booktitle = {Web Services and Formal Methods - 9th International Workshop, {WS-FM} 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7843}, pages = {49--68}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-38230-7\_4}, doi = {10.1007/978-3-642-38230-7\_4}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wsfm/MullerAS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wsfm/NourineT12, author = {Lhouari Nourine and Farouk Toumani}, editor = {Maurice H. ter Beek and Niels Lohmann}, title = {Formal Approaches for Synthesis of Web Service Business Protocols}, booktitle = {Web Services and Formal Methods - 9th International Workshop, {WS-FM} 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7843}, pages = {1--15}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-38230-7\_1}, doi = {10.1007/978-3-642-38230-7\_1}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wsfm/NourineT12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wsfm/OliveiraB12, author = {Nuno Oliveira and Lu{\'{\i}}s Soares Barbosa}, editor = {Maurice H. ter Beek and Niels Lohmann}, title = {Reconfiguration Mechanisms for Service Coordination}, booktitle = {Web Services and Formal Methods - 9th International Workshop, {WS-FM} 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7843}, pages = {134--149}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-38230-7\_9}, doi = {10.1007/978-3-642-38230-7\_9}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wsfm/OliveiraB12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wsfm/Surmeli12, author = {Jan S{\"{u}}rmeli}, editor = {Maurice H. ter Beek and Niels Lohmann}, title = {Service Discovery with Cost Thresholds}, booktitle = {Web Services and Formal Methods - 9th International Workshop, {WS-FM} 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7843}, pages = {30--48}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-38230-7\_3}, doi = {10.1007/978-3-642-38230-7\_3}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wsfm/Surmeli12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wsfm/Tuosto12, author = {Emilio Tuosto}, editor = {Maurice H. ter Beek and Niels Lohmann}, title = {Contract-Oriented Services}, booktitle = {Web Services and Formal Methods - 9th International Workshop, {WS-FM} 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7843}, pages = {16--29}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-38230-7\_2}, doi = {10.1007/978-3-642-38230-7\_2}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wsfm/Tuosto12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wsfm/WuZZZSL12, author = {Xi Wu and Yue Zhang and Huibiao Zhu and Yongxin Zhao and Zailiang Sun and Peng Liu}, editor = {Maurice H. ter Beek and Niels Lohmann}, title = {Formal Modeling and Analysis of the {REST} Architecture Using {CSP}}, booktitle = {Web Services and Formal Methods - 9th International Workshop, {WS-FM} 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7843}, pages = {87--102}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-38230-7\_6}, doi = {10.1007/978-3-642-38230-7\_6}, timestamp = {Mon, 06 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wsfm/WuZZZSL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.