bibtex

@inproceedings{APD16,
    title = {A Framework for Certified Self-Stabilization },
    author = {Altisen, Karine and Pierre, Corbineau and Devismes, St\'ephane},
    month = {June 6-9},
    year = {2016},
    booktitle = {FORTE'2016, the 36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and System},
    address = {Heraklion, Crete},
    pages = {36--51},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {9688},
    team = {SYNC, PACSS},
}


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

info visites 3886046