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
Heckel, Reiko;
Thöne, Sebastian
Department
Publishing Year
Proceedings Title
Proceedings of the workshop on Algebraic Development Techniques (WADT 2004), Barcelona (Spain)
forms.conference.field.series_title_volume.label
LNCS
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.
Google Scholar