%
% GENERATED FROM http://acme.able.cs.cmu.edu
%    by   : anonymous
%    IP   : ec2-3-144-94-134.us-east-2.compute.amazonaws.com
%    at   : Sat, 20 Jul 2024 15:31:53 -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}
}