Behavior-Preserving Refinement Relations between Dynamic Software Architectures

R. Heckel, S. Thöne, in: Proceedings of the Workshop on Algebraic Development Techniques (WADT 2004), Barcelona (Spain), Springer, Berlin/Heidelberg, 2004, pp. 1–27.

Download
No fulltext has been uploaded.
Conference Paper | English
Author
;
Publishing Year
Proceedings Title
Proceedings of the workshop on Algebraic Development Techniques (WADT 2004), Barcelona (Spain)
Volume
3423
Page
1-27
LibreCat-ID

Cite this

Heckel R, Thöne S. Behavior-Preserving Refinement Relations between Dynamic Software Architectures. In: Proceedings of the Workshop on Algebraic Development Techniques (WADT 2004), Barcelona (Spain). Vol 3423. LNCS. Berlin/Heidelberg: Springer; 2004:1-27.
Heckel, R., & Thöne, S. (2004). Behavior-Preserving Refinement Relations between Dynamic Software Architectures. In Proceedings of the workshop on Algebraic Development Techniques (WADT 2004), Barcelona (Spain) (Vol. 3423, pp. 1–27). Berlin/Heidelberg: Springer.
@inproceedings{Heckel_Thöne_2004, place={Berlin/Heidelberg}, series={LNCS}, title={Behavior-Preserving Refinement Relations between Dynamic Software Architectures}, volume={3423}, booktitle={Proceedings of the workshop on Algebraic Development Techniques (WADT 2004), Barcelona (Spain)}, publisher={Springer}, author={Heckel, Reiko and Thöne, Sebastian}, year={2004}, pages={1–27}, collection={LNCS} }
Heckel, Reiko, and Sebastian Thöne. “Behavior-Preserving Refinement Relations between Dynamic Software Architectures.” In Proceedings of the Workshop on Algebraic Development Techniques (WADT 2004), Barcelona (Spain), 3423:1–27. LNCS. Berlin/Heidelberg: Springer, 2004.
R. Heckel and S. Thöne, “Behavior-Preserving Refinement Relations between Dynamic Software Architectures,” in Proceedings of the workshop on Algebraic Development Techniques (WADT 2004), Barcelona (Spain), 2004, vol. 3423, pp. 1–27.
Heckel, Reiko, and Sebastian Thöne. “Behavior-Preserving Refinement Relations between Dynamic Software Architectures.” Proceedings of the Workshop on Algebraic Development Techniques (WADT 2004), Barcelona (Spain), vol. 3423, Springer, 2004, pp. 1–27.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar