Diego Marmsoler. On the semantics of temporal specifications of component-behavior for dynamic architectures. In Frédéric Mallet, Min Zhang 0002, Eric Madelaine, editors, 11th International Symposium on Theoretical Aspects of Software Engineering, TASE 2017, Sophia Antipolis, France, September 13-15, 2017. pages 1-6, IEEE, 2017. [doi]
@inproceedings{Marmsoler17-1, title = {On the semantics of temporal specifications of component-behavior for dynamic architectures}, author = {Diego Marmsoler}, year = {2017}, doi = {10.1109/TASE.2017.8285638}, url = {https://doi.org/10.1109/TASE.2017.8285638}, researchr = {https://researchr.org/publication/Marmsoler17-1}, cites = {0}, citedby = {0}, pages = {1-6}, booktitle = {11th International Symposium on Theoretical Aspects of Software Engineering, TASE 2017, Sophia Antipolis, France, September 13-15, 2017}, editor = {Frédéric Mallet and Min Zhang 0002 and Eric Madelaine}, publisher = {IEEE}, isbn = {978-1-5386-1924-7}, }