@article{ABI+2,
title = { Reasoning about distributed reconfigurable systems },
author = {Ahrens, Emma and Bozga, Marius and Iosif, Radu and Katoen, Joost{-}Pieter},
year = {2022},
journal = {Proc. {ACM} Program. Lang.},
pages = {145--174},
volume = {6},
team = {axe_Mohytos, RSD},
timestamp = {Mon, 05 Dec 2022 13:35:14 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/AhrensBIK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}