Chapter
Temporal Specifications of Component Based Systems with Polymorphic Dynamic Reconfiguration
Authors
Aguirre N; Maibaum T
Book title
Mathematical Frameworks for Component Software
Series
Series on Component-Based Software Development
Volume
2
Pagination
pp. 1-33
Publisher
World Scientific Publishing
Publication Date
November 2006
DOI
10.1142/9789812772831_0001