%
% GENERATED FROM http://acme.able.cs.cmu.edu
%    by   : anonymous
%    IP   : ec2-18-118-200-109.us-east-2.compute.amazonaws.com
%    at   : Thu, 03 Apr 2025 02:25:42 -0400 GMT
%    
% Selection : Publication #118
%


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

@TechReport{Dingel2001,
      AUTHOR = {Dingel, Juergen and Garlan, David and Damon, Craig},
      TITLE = {A feasibility study of the HLA bridge},
      YEAR = {2001},
      MONTH = {March},
      NUMBER = {CMU-CS-01-103},
      INSTITUTION = {Carnegie Mellon University School of Computer Science},
      KEYWORDS = {Formal Methods, Software Architecture}
}