% % 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 %
@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} }