bibtex

@inproceedings{ADJ0,
    title = {{SASA: a SimulAtor of Self-stabilizing Algorithms} },
    author = {Altisen, Karine and Devismes, St\'ephane and Jahier, Erwan},
    month = {June 2226},
    year = {2020},
    booktitle = {{TAP 2020, 14th International Conference on Tests and Proofs}},
    address = {{Bergen, Norway}},
    note = {to appear},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    team = {SYNC},
}

Publication Sections


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

info visites 1508823