%0 Report %1 sousa00formal %A Sousa, João Pedro %A Garlan, David %D 2000 %K components %N CMU-CS-00-162 %T Formal Modeling of the Enterprise JavaBeans Component Integration Framework

@techreport{sousa00formal, added-at = {2011-12-16T09:33:55.000+0100}, author = {Sousa, Jo{\~{a}}o Pedro and Garlan, David}, biburl = {https://www.bibsonomy.org/bibtex/2380ce58f450793d134945c718ad9fa57/pbrada}, groups = {public}, institution = {Carnegie Mellon university}, interhash = {8505c958a1363d7d390e63b83e3f209b}, intrahash = {380ce58f450793d134945c718ad9fa57}, keywords = {components}, month = {September}, number = {CMU-CS-00-162}, timestamp = {2011-12-16T09:33:55.000+0100}, title = {Formal Modeling of the Enterprise JavaBeans Component Integration Framework}, username = {pbrada}, year = 2000 }