%0 Conference Paper %1 conf/birthday/BelznerNVW14 %A Belzner, Lenz %A Nicola, Rocco De %A Vandin, Andrea %A Wirsing, Martin %B Specification, Algebra, and Software %D 2014 %E Iida, Shusaku %E Meseguer, José %E Ogata, Kazuhiro %I Springer %K dblp %P 188-211 %T Reasoning (on) Service Component Ensembles in Rewriting Logic. %U http://dblp.uni-trier.de/db/conf/birthday/futatsugi2014.html#BelznerNVW14 %V 8373 %@ 978-3-642-54623-5

@inproceedings{conf/birthday/BelznerNVW14, added-at = {2022-04-09T00:00:00.000+0200}, author = {Belzner, Lenz and Nicola, Rocco De and Vandin, Andrea and Wirsing, Martin}, biburl = {https://www.bibsonomy.org/bibtex/25b0d2fad2a812b7edb000a961ca12175/dblp}, booktitle = {Specification, Algebra, and Software}, crossref = {conf/birthday/2014futatsugi}, editor = {Iida, Shusaku and Meseguer, José and Ogata, Kazuhiro}, ee = {https://doi.org/10.1007/978-3-642-54624-2_10}, interhash = {bddcb00d0c5e255fb3708b05413acc43}, intrahash = {5b0d2fad2a812b7edb000a961ca12175}, isbn = {978-3-642-54623-5}, keywords = {dblp}, pages = {188-211}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:05:44.000+0200}, title = {Reasoning (on) Service Component Ensembles in Rewriting Logic.}, url = {http://dblp.uni-trier.de/db/conf/birthday/futatsugi2014.html#BelznerNVW14}, volume = 8373, year = 2014 }