% % GENERATED FROM http://acme.able.cs.cmu.edu % by : anonymous % IP : ec2-3-143-218-115.us-east-2.compute.amazonaws.com % at : Sun, 24 Nov 2024 14:44:10 -0500 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} }