%0 Conference Paper %1 conf/forte/BaresiBGS09 %A Baresi, Luciano %A Bianculli, Domenico %A Guinea, Sam %A Spoletini, Paola %B FMOODS/FORTE %D 2009 %E Lee, David %E Lopes, Antónia %E Poetzsch-Heffter, Arnd %I Springer %K dblp %P 26-40 %T Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions. %U http://dblp.uni-trier.de/db/conf/forte/forte2009.html#BaresiBGS09 %V 5522 %@ 978-3-642-02137-4

@inproceedings{conf/forte/BaresiBGS09, added-at = {2018-11-02T00:00:00.000+0100}, author = {Baresi, Luciano and Bianculli, Domenico and Guinea, Sam and Spoletini, Paola}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/213847de16312514dc228e02c27dec19e/dblp}, booktitle = {FMOODS/FORTE}, crossref = {conf/forte/2009}, editor = {Lee, David and Lopes, Antónia and Poetzsch-Heffter, Arnd}, ee = {https://doi.org/10.1007/978-3-642-02138-1_2}, interhash = {2b899aa799063f07d110d06c4fb1a02a}, intrahash = {13847de16312514dc228e02c27dec19e}, isbn = {978-3-642-02137-4}, keywords = {dblp}, pages = {26-40}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T17:33:04.000+0200}, title = {Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte2009.html#BaresiBGS09}, volume = 5522, year = 2009 }