%0 Conference Paper %1 conf/ewsa/CaporuscioRIPP05 %A Caporuscio, Mauro %A Ruscio, Davide Di %A Inverardi, Paola %A Pelliccione, Patrizio %A Pierantonio, Alfonso %B EWSA %D 2005 %E Morrison, Ronald %E Oquendo, Flávio %I Springer %K dblp %P 130-145 %T Engineering MDA into Compositional Reasoning for Analyzing Middleware-Based Applications. %U http://dblp.uni-trier.de/db/conf/ewsa/ewsa2005.html#CaporuscioRIPP05 %V 3527 %@ 3-540-26275-X

@inproceedings{conf/ewsa/CaporuscioRIPP05, added-at = {2017-06-15T00:00:00.000+0200}, author = {Caporuscio, Mauro and Ruscio, Davide Di and Inverardi, Paola and Pelliccione, Patrizio and Pierantonio, Alfonso}, biburl = {https://www.bibsonomy.org/bibtex/2800203a9d05b1aa5afe306fa51da2ec4/dblp}, booktitle = {EWSA}, crossref = {conf/ewsa/2005}, editor = {Morrison, Ronald and Oquendo, Flávio}, ee = {https://doi.org/10.1007/11494713_9}, interhash = {5ab0062148c4c9a207d914ccdd9ad5b7}, intrahash = {800203a9d05b1aa5afe306fa51da2ec4}, isbn = {3-540-26275-X}, keywords = {dblp}, pages = {130-145}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:25:18.000+0200}, title = {Engineering MDA into Compositional Reasoning for Analyzing Middleware-Based Applications.}, url = {http://dblp.uni-trier.de/db/conf/ewsa/ewsa2005.html#CaporuscioRIPP05}, volume = 3527, year = 2005 }