@inproceedings{ACD9,
title = { {Squeezing Streams and Composition of Self-Stabilizing Algorithms} },
author = {Altisen, Karine and Corbineau, Pierre and Devismes, St\'ephane},
month = {June 17-21},
year = {2019},
booktitle = {{FORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems}},
address = {{Lyngby, Danemark}},
pages = {21--38},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {11535},
team = {SYNC, PACSS},
}
