Han, J., "Temporal Logic Based Specifications of Component Interaction Protocols." In J. Hernndez, A. Vallecillo, and J. M. Troya (eds.). Proceedings of the ECOOP'2000. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Non-Functional Approach for COTS Components - Trading Luis Iribarne (Correct)
No context found.
Han, J., "Temporal Logic Based Specifications of Component Interaction Protocols." In J. Hernndez, A. Vallecillo, and J. M. Troya (eds.). Proceedings of the ECOOP'2000.
Trading for COTS Components in Open Environments - Iribarne, Troya, Vallecillo (2001) (Correct)
No context found.
J. Han. Temporal logic based specifications of component interaction protocols. In J. Hern andez, A. Vallecillo, and J. M. Troya, editors, Proc. of the ECOOP'2000.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC