%
% GENERATED FROM http://acme.able.cs.cmu.edu
%    by   : anonymous
%    IP   : ec2-18-216-224-194.us-east-2.compute.amazonaws.com
%    at   : Thu, 03 Apr 2025 02:27:32 -0400 GMT
%    
% Selection : Publication #120
%


<tr><td><table><tr><td>

@Article{Sousa2001,
      AUTHOR = {Sousa, Jo\~{a}o and Garlan, David},
      TITLE = {Formal Modeling of the Enterprise JavaBeans Component Integration Framework},
      YEAR = {2001},
      MONTH = {March},
      JOURNAL = {Information and Software Technology},
      VOLUME = {43},
      NUMBER = {3},
      NOTE = {Also available as Technical Report CMU-CS-00-162, Carnegie Mellon University School of Computer Science},
      KEYWORDS = {Formal Methods, Software Architecture}
}