% % GENERATED FROM http://acme.able.cs.cmu.edu % by : anonymous % IP : ec2-3-139-55-240.us-east-2.compute.amazonaws.com % at : Thu, 03 Apr 2025 02:32:34 -0400 GMT % % Selection : Publication #148 %
@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} }