% % GENERATED FROM http://acme.able.cs.cmu.edu % by : anonymous % IP : ec2-3-144-94-134.us-east-2.compute.amazonaws.com % at : Sat, 20 Jul 2024 15:31:53 -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} }