@Inproceedings{EPTCS243.2,
  author    = {Lodaya, Kamal and Pandya, Paritosh K.},
  year      = {2017},
  title     = {Deterministic Temporal Logics and Interval Constraints},
  editor    = {Ghosh, Sujata and Ramanujam, R.},
  booktitle = {{\rm Proceedings of the Ninth Workshop on}
               Methods for Modalities,
               {\rm Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {243},
  publisher = {Open Publishing Association},
  pages     = {23-40},
  doi       = {10.4204/EPTCS.243.2},
}