bibtex

@inproceedings{ADJ0,
    title = { {SASA}: {A} SimulAtor of Self-stabilizing Algorithms },
    author = {Altisen, Karine and Devismes, St\'ephane and Jahier, Erwan},
    year = {2020},
    booktitle = {Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]},
    pages = {143--154},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {12165},
    team = {axe_SharedResources, SYNC},
}

URL


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

info visites 1684344