% % GENERATED FROM http://acme.able.cs.cmu.edu % by : anonymous % IP : 216.73.216.6 % at : Tue, 01 Jul 2025 05:20:01 -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} }