Login / Signup

Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems.

Nazareno AguirreT. S. E. Maibaum
Published in: Electron. Notes Theor. Comput. Sci. (2004)
Keyphrases