[IEEE 2017 IEEE/ACIS 16th International Conference on Computer and Information Science (ICIS) - Wuhan (2017.5.24-2017.5.26)] 2017 IEEE/ACIS 16th International Conference on Computer and Information Science (ICIS) - A correct-by-construction approach for proving distributed algorithms in spanning trees
Fakhfakh, Faten, Tounsi, Mohamed, Mosbah, Mohamed, Mery, Dominique, Kacem, Ahmed HadjYear:
2017
Language:
english
DOI:
10.1109/ICIS.2017.8332403
File:
PDF, 295 KB
english, 2017