Computation Tree Logic for Synchronization Properties

July 23, 2019 in by

by Krishnendu Chatterjee, Laurent Doyen
Krishnendu Chatterjee, Laurent Doyen. Computation Tree Logic for Synchronization Properties. In Proceedings of the 43rd International Colloquium on Automata, Languages and Programming (ICALP’16). Leibniz International Proceedings in Informatics. Leibniz-Zentrum für Informatik, July 2016. (To appear)
Bibtex Entry:
  author =        {Chatterjee, Krishnendu and Doyen, Laurent},
  booktitle =     {{P}roceedings of the 43rd {I}nternational
                   {C}olloquium on {A}utomata, {L}anguages and
                   {P}rogramming ({ICALP}'16)},
  month =         jul,
  note =          {To~appear},
  publisher =     {Leibniz-Zentrum f{"u}r Informatik},
  series =        {Leibniz International Proceedings in Informatics},
  title =         {Computation Tree Logic for Synchronization
  year =          {2016},
  url =           {
  category =      {conf},
  wps =           {wp1},
  partners =      {CNRS},
  casstingpart =  {100},