Formal modeling of the Enterprise JavaBeans(TM) component integration framework

João Pedro Sousa, David Garlan. Formal modeling of the Enterprise JavaBeans(TM) component integration framework. Information \& Software Technology, 43(3):171-188, 2001.

Abstract

Abstract is missing.