@article{AISWARYA2018305,
    Author = {Aiswarya, C. and Bollig, Benedikt and Gastin, Paul},
    File = {1-s2.0-S0890540117301475-main (0) - a - a - l.pdf},
    ISSN = {0890-5401},
    Journal = {Information and Computation},
    Note = {22nd International Symposium on Temporal Representation and Reasoning},
    Pages = {305 - 327},
    Title = {An automata-theoretic approach to the verification of distributed algorithms},
    URL = {http://www.sciencedirect.com/science/article/pii/S0890540117301475},
    Volume = {259},
    Year = {2018},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0890540117301475},
    bdsk-url-2 = {https://doi.org/10.1016/j.ic.2017.05.006},
    date-added = {2018-10-09 11:43:51 +0000},
    date-modified = {2018-10-09 11:43:51 +0000},
    doi = {10.1016/j.ic.2017.05.006}
}

@article{AISWARYA2018305, Author = {Aiswarya, C. and Bollig, Benedikt and Gastin, Paul}, File = {1-s2.0-S0890540117301475-main (0) - a - a - l.pdf}, ISSN = {0890-5401}, Journal = {Information and Computation}, Note = {22nd International Symposium on Temporal Representation and Reasoning}, Pages = {305 - 327}, Title = {An automata-theoretic approach to the verification of distributed algorithms}, URL = {http://www.sciencedirect.com/science/article/pii/S0890540117301475}, Volume = {259}, Year = {2018}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0890540117301475}, bdsk-url-2 = {https://doi.org/10.1016/j.ic.2017.05.006}, date-added = {2018-10-09 11:43:51 +0000}, date-modified = {2018-10-09 11:43:51 +0000}, doi = {10.1016/j.ic.2017.05.006} }