%
% GENERATED FROM http://acme.able.cs.cmu.edu
%    by   : anonymous
%    IP   : ec2-3-139-239-157.us-east-2.compute.amazonaws.com
%    at   : Thu, 21 Nov 2024 23:27:43 -0500 GMT
%    
% Selection : Publication #148
%


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

@TechReport{Damon1999,
      AUTHOR = {Damon, Craig and Melton, Ralph and Bigelow, Elizabeth and Ivers, James and Garlan, David},
      TITLE = {Formalizing a Specification for Analysis: The HLA Ownership Properties},
      YEAR = {1999},
      MONTH = {April},
      NUMBER = {CMU-CS-99-126},
      INSTITUTION = {Carnegie Mellon University School of Computer Science},
      KEYWORDS = {Architectural Analysis, Formal Methods, Software Architecture}
}