@inproceedings{BFG-stacs18,
    Address = {Caen, France},
    Author = {Bollig, Benedikt and Fortin, Marie and Gastin, Paul},
    BookTitle = {{P}roceedings of the 35th {A}nnual {S}ymposium on {T}heoretical {A}spects of {C}omputer {S}cience ({STACS}'18)},
    Editor = {Niedermeier, Rolf and Vall{\'e}e, Brigitte},
    File = {LIPIcs-STACS-2018-17 (0) - a - a - t.pdf},
    Month = {February},
    Pages = {17:1-17:14},
    Publisher = {Leibniz-Zentrum f{\"u}r Informatik},
    Series = {Leibniz International Proceedings in Informatics},
    Title = {Communicating Finite-State Machines and Two-Variable Logic},
    URL = {http://drops.dagstuhl.de/opus/frontdoor.php?source\_opus=8529},
    Volume = {96},
    Year = {2018},
    bdsk-url-1 = {http://drops.dagstuhl.de/opus/frontdoor.php?source\_opus=8529},
    bdsk-url-2 = {https://doi.org/10.4230/LIPIcs.STACS.2018.17},
    date-added = {2018-10-09 11:37:09 +0000},
    date-modified = {2018-10-09 11:37:09 +0000},
    doi = {10.4230/LIPIcs.STACS.2018.17}
}

@inproceedings{BFG-stacs18, Address = {Caen, France}, Author = {Bollig, Benedikt and Fortin, Marie and Gastin, Paul}, BookTitle = {{P}roceedings of the 35th {A}nnual {S}ymposium on {T}heoretical {A}spects of {C}omputer {S}cience ({STACS}'18)}, Editor = {Niedermeier, Rolf and Vall{\'e}e, Brigitte}, File = {LIPIcs-STACS-2018-17 (0) - a - a - t.pdf}, Month = {February}, Pages = {17:1-17:14}, Publisher = {Leibniz-Zentrum f{\"u}r Informatik}, Series = {Leibniz International Proceedings in Informatics}, Title = {Communicating Finite-State Machines and Two-Variable Logic}, URL = {http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=8529}, Volume = {96}, Year = {2018}, bdsk-url-1 = {http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=8529}, bdsk-url-2 = {https://doi.org/10.4230/LIPIcs.STACS.2018.17}, date-added = {2018-10-09 11:37:09 +0000}, date-modified = {2018-10-09 11:37:09 +0000}, doi = {10.4230/LIPIcs.STACS.2018.17} }