V. Alagar and Z. Xi. A Rigorous Approach to Modeling and Analyzing E-Commerce Architectures. In J. Oliveira and P. Zave, editors, Proc. Formal Methods Europe (FME)

 Home/Search   Document Not in Database   Summary   Related Articles  

This paper is cited in the following contexts:
Three-Tiered Specification of Micro-Architectures - Alagar, Lämmel   Self-citation (Alagar)   (Correct)

No context found.

V. Alagar and Z. Xi. A Rigorous Approach to Modeling and Analyzing E-Commerce Architectures. In J. Oliveira and P. Zave, editors, Proc. Formal Methods Europe (FME)

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