Computation Tree Logic for Synchronization Properties

October 15, 2017 in by

by Krishnendu Chatterjee, Laurent Doyen
Reference:
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:
@string{jul="July"}
@inproceedings{CD-icalp16,
  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
                   Properties},
  year =          {2016},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  CD-icalp16.pdf},
  category =      {conf},
  wps =           {wp1},
  partners =      {CNRS},
  casstingpart =  {100},
}