bibtex

@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},
}

URL

Publication Sections


Contact | Site Map | Site powered by SPIP 3.1.11 + AHUNTSIC [CC License]

info visites 1330595