% % GENERATED FROM http://acme.able.cs.cmu.edu % by : anonymous % IP : ec2-18-216-224-194.us-east-2.compute.amazonaws.com % at : Thu, 03 Apr 2025 02:27:32 -0400 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} }