bibtex

@inproceedings{JAD+3,
    title = { {Model Checking of Distributed Algorithms using Synchronous Programs} },
    author = {Jahier, Erwan and Altisen, Karine and Devismes, St\'ephane and Sant'Anna, Gabriel B.},
    month = {Oct},
    year = {2023},
    booktitle = {{25th International Symposium on Stabilization, Safety, and Security of Distributed Systems}},
    address = {New Jersey, United States},
    team = {axe_SharedResources},
    pdf = {https://cnrs.hal.science/hal-04172396/file/main.pdf}, hal_id = {hal-04172396}, hal_version = {v1},
}

URL


Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4121951