%0 Conference Paper %1 conf/smc/HachichaHK16 %A Hachicha, Marwa %A Halima, Riadh Ben %A Kacem, Ahmed Hadj %B SMC %D 2016 %I IEEE %K dblp %P 3967-3972 %T Modeling and verifying self-adaptive systems: A refinement approach. %U http://dblp.uni-trier.de/db/conf/smc/smc2016.html#HachichaHK16 %@ 978-1-5090-1897-0

@inproceedings{conf/smc/HachichaHK16, added-at = {2017-05-17T00:00:00.000+0200}, author = {Hachicha, Marwa and Halima, Riadh Ben and Kacem, Ahmed Hadj}, biburl = {https://www.bibsonomy.org/bibtex/2283ac41ed0dd2d9716e68dfacfe1202c/dblp}, booktitle = {SMC}, crossref = {conf/smc/2016}, ee = {https://doi.org/10.1109/SMC.2016.7844853}, interhash = {4be1584eb806a12773f04c3cd6acf357}, intrahash = {283ac41ed0dd2d9716e68dfacfe1202c}, isbn = {978-1-5090-1897-0}, keywords = {dblp}, pages = {3967-3972}, publisher = {IEEE}, timestamp = {2019-10-17T22:39:33.000+0200}, title = {Modeling and verifying self-adaptive systems: A refinement approach.}, url = {http://dblp.uni-trier.de/db/conf/smc/smc2016.html#HachichaHK16}, year = 2016 }