@inproceedings{AGK18,
  author    = {G. Avni and S. Guha and O. Kupferman},
  title     = {Timed Network Games with Clocks},
  booktitle = mfcs18,
  pages =	?,
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  volume =	{?},
  year      = {2018}
}