|
 | Up a level |
Biswas, Shantanu and Narahari, Y and Sarma, Anish Das (2004) A Decomposition Based Approach for Design of Supply Aggregation and Demand Aggregation Exchanges. In: Applying Formal Methods: Testing, Performance, and M/E-Commerce, FORTE2004 (Lecture Notes in Computer Science), October 1-2, 2004, Toledo, Spain, Vol.3236, 58-71.
