% % GENERATED FROM http://acme.able.cs.cmu.edu % by : anonymous % IP : ec2-3-22-70-169.us-east-2.compute.amazonaws.com % at : Thu, 21 Nov 2024 23:38:34 -0500 GMT % % Selection : Publication #120 %
@Article{Sousa2001, AUTHOR = {Sousa, Jo\~{a}o and Garlan, David}, TITLE = {Formal Modeling of the Enterprise JavaBeans Component Integration Framework}, YEAR = {2001}, MONTH = {March}, JOURNAL = {Information and Software Technology}, VOLUME = {43}, NUMBER = {3}, NOTE = {Also available as Technical Report CMU-CS-00-162, Carnegie Mellon University School of Computer Science}, KEYWORDS = {Formal Methods, Software Architecture} } |