@inproceedings{BBB+8c,
title = { Programming Dynamic Reconfigurable Systems },
author = {Ballouli, Rim El and Bensalem, Saddek and Bozga, Marius and Sifakis, Joseph},
year = {2018},
booktitle = {Formal Aspects of Component Software - 15th International Conference, {FACS} 2018, Pohang, South Korea, October 10-12, 2018, Proceedings},
pages = {118--136},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {11222},
team = {RSD, axe_Mohytos},
}
