학술논문
Incremental Modeling Under Large-Scale Distributed Interaction.
Document Type
Book Chapter
Source
Formal Techniques for Networked & Distributed Systems - FORTE 2005; 2005, p542-546, 5p
Subject
Language
Abstract
Copyright of Formal Techniques for Networked & Distributed Systems - FORTE 2005 is the property of Springer eBooks and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)