bibtex

@inproceedings{ADJ0,
    title = { {SASA: a SimulAtor of Self-stabilizing Algorithms} },
    author = {Altisen, Karine and Devismes, St\'ephane and Jahier, Erwan},
    month = {Jun},
    year = {2020},
    booktitle = {{14th International Conference on Tests and Proofs}},
    address = {Bergen, Norway},
    pages = {143--154},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {12165},
    team = {SYNC},
    pdf = {https://hal-cnrs.archives-ouvertes.fr/hal-02521149/file/preprint.pdf}, hal_id = {hal-02521149}, hal_version = {v4},
}

URL

Publication Sections


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

info visites 1629520