![](/img/cover-not-exists.png)
Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems
Nazareno Aguirre, Tom MaibaumVolume:
108
Year:
2004
Language:
english
Pages:
13
DOI:
10.1016/j.entcs.2004.01.013
File:
PDF, 258 KB
english, 2004